1985年度 学術論文誌等 / Journals
1985年度 国際会議 / International Conferences
-
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