Contents of Report

[Data of Report]

Report Number:

TM1084

Date of Registration:

1991.08

English Title:

***

Japanese Title:

第43回 情報処理学会 全国大会論文集;様相論理に基づくプロトコルの仕様記述

English Author:

S.Nakajima,H.Hasegawa

Japanese:

中島　俊介,長谷川　晴朗

Name of Organization to which author belongs:

OKI,OKI

PDF:

tm1084.pdf

[Contents]

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda