プロトコルの記述と検証を目的とした時間論理の応用
この論文をさがす
著者
書誌事項
- タイトル
-
プロトコルの記述と検証を目的とした時間論理の応用
- 著者名
-
越田, 一郎
- 著者別名
-
コシダ, イチロウ
- 学位授与大学
-
東京大学
- 取得学位
-
工学博士
- 学位授与番号
-
甲第6731号
- 学位授与年月日
-
1985-03-29
注記・抄録
博士論文
プロトコルの記述と検証を目的とした時間論理の応用
越田, 一郎
コシダ, イチロウ
東京大学
工学博士
甲第6731号
1985-03-29
博士論文