| 
|
QuoteRef: holzGJ2_1988
topics >
all references >
ThesaHelp:
references g-h
Topic:
communication protocols
Reference
Holzmann, G.J., "An improved protocol reachability analysis technique", Software-Practice and Experience, 18, 2, pp. 137-161, February 1988. Google
152 ;;Quote: with state vectors, can validate protocols of millions of states in a couple of minutes; uses exhaustive and partial searching
ThesaHelp: references g-h (299 items)
Topic: communication protocols (61 items)