Comments pertaining to: On the Projection Method for Protocol Verification

Yutaka Hirakawa

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	370-371
Journal	IEEE Transactions on Software Engineering
Volume	SE-16
Publication status	Published - 1990 Mar 1

Cite this

@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.",

}