About this scholarly article

First Asia International Conference on Modelling & Simulation (AMS'07) - On Verification of Communicating Finite State Machines Using Residual Languages by Chabbar, El maati; Bouhdadi, Mohamed is a scholarly article available to read on EtoBox.

Author

Chabbar, El maati; Bouhdadi, Mohamed

Publisher

IEEE

Published

2007