TY  - SER
AU  - Holzmann, Gerard J.
TI  - A Theory  for  Protocol Validation
KW  - Distributed Systems
KW  - Message Passing
KW  - Protocol Analysis
ER  -