| |
| 1989 | ||
|---|---|---|
| 1 | Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori: Automated Verification of Equivalence of Protocol Machines. PSTV 1989: 235-246 | |
| 1 | Teruo Higashino | [1] |
| 2 | Tomohisa Kimoto | [1] |
| 3 | Masaaki Mori | [1] |
| 4 | Kenichi Taniguchi | [1] |