本文言語 | English |
---|---|
ページ(範囲) | 370-371 |
ジャーナル | IEEE Transactions on Software Engineering |
巻 | SE-16 |
出版ステータス | Published - 1990 3月 1 |
Comments pertaining to: On the Projection Method for Protocol Verification
Yutaka Hirakawa
研究成果: Article › 査読
Yutaka Hirakawa
研究成果: Article › 査読
本文言語 | English |
---|---|
ページ(範囲) | 370-371 |
ジャーナル | IEEE Transactions on Software Engineering |
巻 | SE-16 |
出版ステータス | Published - 1990 3月 1 |