Algorithms for Automated Protocol Validation (1990)

by Gerard J. Holzmann , Gerard J. Holzmann
Venue:to appear, AT&T Technical Journal
Citations:31 - 6 self