Algorithms for Automated Protocol Validation (1988)

by Gerard J. Holzmann
Venue:AT&T TECHNICAL JOURNAL
Citations:31 - 6 self