| |
| 1992 | ||
|---|---|---|
| 1 | Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami: A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. CAV 1992: 384-395 | |
| 1 | Mamoru Fujii | [1] |
| 2 | Masahiro Higuchi | [1] |
| 3 | Tadao Kasami | [1] |
| 4 | Hiroyuki Seki | [1] |