1991年度 学術論文誌 / Journals
-
Teruo Higashino:
Service Specification and its Protocol Specifications in LOTOS - A Survey for Synthesis and Execution -
IEICE Transactions on Fundamentals, Vol.E75-A, No.3, pp.330-338 (Mar. 1992).
1991年度 国際会議 / International Conferences
1991年度 国内学会・研究会 / Domestic Conferences
1991年度 講演 / Invited Talks
1991年度 著書・訳書・解説等 / Edited Books
1991年度 その他 / Others
