A Verification Procedure via Invariant for Extended Communicating Finite-State Machines

Cite this paper

@inproceedings{Higuchi1992AVP, title={A Verification Procedure via Invariant for Extended Communicating Finite-State Machines}, author={Masahiro Higuchi and Osamu Shirakawa and Hiroyuki Seki and Mamoru Fujii and Tadao Kasami}, booktitle={CAV}, year={1992} }