[IEEE First Asia International Conference on Modelling & Simulation (AMS'07) - Phyket, Thailand (2007.03.27-2007.03.30)] First Asia International Conference on Modelling & Simulation (AMS'07) - On Verification of Communicating Finite State Machines Using Residual Languages
Chabbar, El maati, Bouhdadi, MohamedYear:
2007
Language:
english
DOI:
10.1109/AMS.2007.75
File:
PDF, 234 KB
english, 2007