年度:

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