Survey of protocol definition and verification techniques (1978)

by C A Sunshine
Venue:Comput. Networks