M.: Automated protocol Verification (1985)

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