Protocol specification, testing, and verification: proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification, organized by USC/ISI, Idyllwild, California, U.S.A., 17-20 May 1982 by IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (4th 1984 Skytop Lodge, Pa.) | Menrva Books | MenrvaBooks