年度:

1985年度 学術論文誌 / Journals


1985年度 国際会議 / International Conferences

  1. Teruo Higashino, Masahiro Higuchi, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii and Masaaki Mori:
    Automated Verification of Token Ring LAN Protocols
    Proceedings of the First International Conference on Supercomputing Systems, pp.361-368 (Dec. 1985).

1985年度 国内学会・研究会 / Domestic Conferences


1985年度 講演 / Invited Talks


1985年度 著書・訳書・解説等 / Edited Books


1985年度 その他 / Others


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