An Improved Protocol Reachability Analysis Technique (1988)

Cached

Download Links

by Gerard J. Holzmann
Venue:SOFTWARE, PRACTICE AND EXPERIENCE
Citations:52 - 13 self