Japanese / English

文献の詳細

論文の言語 日本語
著者 和泉 憲明, 高松 忍, 黄瀬 浩一, 福永 邦雄
論文名 プロセス代数と様相論理を融合した並行システムの仕様記述
論文誌名 電子情報通信学会論文誌
Vol. J80-D-I
No. 4
ページ pp.411-414
査読の有無
年月 1997年4月
一覧に戻る