Protocol specification, testing and verification, XIII by IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification. (12th 1992 Lake Buena Vista, Fla.) | Menrva Books