Protocol specification, testing, and verification, IX: proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989 by IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (4th 1984 Skytop Lodge, Pa.) | Menrva Books | MenrvaBooks