A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs.

Masahiro Higuchi, Junko Sano, Keigo Hara, Mamoru Fujii

Browse the full ICDCS paper archive.