Year:

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