Comments pertaining to: On the Projection Method for Protocol Verification

Yutaka Hirakawa

研究成果: Article › 査読

本文言語	English
ページ（範囲）	370-371
ジャーナル	IEEE Transactions on Software Engineering
巻	SE-16
出版ステータス	Published - 1990 3月 1

引用スタイル

@article{49535c7c3958475c9726c3d820a2a219,

title = "Comments pertaining to: On the Projection Method for Protocol Verification",

author = "Yutaka Hirakawa",

year = "1990",

month = mar,

day = "1",

language = "English",

volume = "SE-16",

pages = "370--371",

journal = "IEEE Transactions on Software Engineering",

issn = "0098-5589",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

}