Algorithms for automated protocol verification (1990)

by G J HOLZMANN
Venue:AT&T Tech. J. (Jan./Feb