Comments pertaining to: On the Projection Method for Protocol Verification

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)370-371
JournalIEEE Transactions on Software Engineering
VolumeSE-16
Publication statusPublished - 1990 Mar 1

Cite this