Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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.