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.
@inproceedings{HiguchiSHF96,
title = {A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs},
author = {Masahiro Higuchi and J. Sano and K. Hara and Mamoru Fujii},
year = {1996},
tags = {protocol},
researchr = {https://researchr.org/publication/HiguchiSHF96},
cites = {0},
citedby = {0},
pages = {290-298},
booktitle = {ICDCS},
}