![]() | ![]() |
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] |