Comments pertaining to: On the Projection Method for Protocol Verification

研究成果: Article

元の言語English
ページ(範囲)370-371
ジャーナルIEEE Transactions on Software Engineering
SE-16
出版物ステータスPublished - 1990 3 1

これを引用