Survey of protocol definition and verification techniques
Sunshine, Carl A.Volume:
8
Language:
english
Journal:
ACM SIGCOMM Computer Communication Review
DOI:
10.1145/1015850.1015853
Date:
July, 1978
File:
PDF, 424 KB
english, 1978