On Verification of Communicating Finite State Machines Using Residual Languages. - El maati Chabbar; Mohamed Bouhdadi (Asia International Conference on Modelling and Simulation, 2007)

Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises. - Mohamed Bouhdadi; Youssef Balouki; El maati Chabbar (ICCSA (3), 2007)