Algorithms for automated protocol validation (1990)

by G J Holzmann
Venue:AT&T Technical Journal