An improved protocol reachability analysis technique (1988)

by G J Holzmann
Venue:Software Practice and Experience