A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex DynamicsAmmar Boucherit, Kamel Barkaoui, Mohammed L. LamouriVolume 1، Pages 1-62023Other Closed accessSeveral sources 1