Algorithms for Automated Protocol Verification (1988)

by G J Holzmann
Venue:AT&T Technical Journal