1990 Journals

  1. 木本 智久 ,二宮 清 ,東野 輝夫,谷口 健一 ,森 将豪 :
    電子情報通信学会論文誌 J73-D-I(5) 1990年
  2. 木本 智久, 東野 輝夫, 谷口 健一, 二宮 清, 森 将豪:
    電子情報通信学会論文誌(D-I), Vol.J73-D-I, No.5, pp.500-509 (May. 1990).

1990 International Conferences

  1. Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii and Masaaki Mori:
    An Algebraic Method for Verifying Progress Property of Communication Protocols
    World Scientific Series in Computer Science, Vol.31, pp.39-59 (Apr. 1991).
  2. Teruo Higashino and Kenichi Taniguchi:
    A System for the Refinements of Algebraic Specifications and thier Efficient Executions
    Proceedings of the 24-th Hawaii International Conference on System Sciences (HICSS-24), Vol.II, pp.186-195 (Jan. 1991).

1990 Domestic Conferences

1990 Invited Talks

1990 Edited Books

1990 Others

Copyright(c) 2018 Higashino Lab. All Rights Reserved. Design by