Protocol Specification, Testing, and Verification, VII Proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification by IFIP Working Group 6.1 | Menrva Books