Backward Symbolic Execution of Protocols (1985)

by G J Holzmann
Venue:Protocol Specification, Testing, and Verification, IV