Masahiro Higuchi, J. Sano, K. Hara, Mamoru Fujii. A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs. In ICDCS. pages 290-298, 1996.
No references recorded for this publication.
No citations of this publication recorded.