El maati Chabbar, Mohamed Bouhdadi. On Verification of Communicating Finite State Machines Using Residual Languages. In First Asia International Conference on Modelling and Simulation (AMS 2007), 27-30 March 2007, Phuket, Thailand. pages 212-217, IEEE Computer Society, 2007. [doi]
Abstract is missing.