Protocol Design: Redefining the State of the Art (1992)

Cached

Download Links

by Gerard J. Holzmann
Venue:IEEE SOFTWARE
Citations:15 - 1 self