Automated protocol Verification (1985)

by J Billington, M C Wilbur-Ham, M Y Bearman
Venue:In Proc. of IFIP WG 6.1 5th International Workshop on Protocol Specification, Testing, and Verification