A semi-automated verification method for communication protocols modeled as 2-ECFSMs
Masahiro Higuchi, Junko Sano, Keigo Hara, Mamoru FujiiVolume:
81
Year:
1998
Pages:
10
DOI:
10.1002/(sici)1520-6424(199803)81:33.0.co;2-q
File:
PDF, 1.40 MB
1998