Protocol specification, testing, and verification, IV: proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification by IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (4th 1984 Skytop Lodge, Pa.) | Menrva Books | MenrvaBooks