On Reachability Analysis of Communicating Finite State Machines
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
A modular methodology to verify communication protocols
Computer Communications
Reachability and reverse reachability analysis of CFSMs
Computer Communications
Hi-index | 0.00 |