Year:

1989 Journals


1989 International Conferences

  1. Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi and Masaaki Mori:
    Automated Verification of Equivalence of Protocol Machines
    Proceedings of the Ninth International Symposium on Protocol Specification (PSTV-IX), Testing, and Verification, pp.235-246 (Jun. 1989).

1989 Domestic Conferences


1989 Invited Talks


1989 Edited Books


1989 Others


Copyright(c) 2018 Higashino Lab. All Rights Reserved. Design by http://f-tpl.com