Protocol specification, testing, and verification
IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (2nd 1982 Idyllwild, Calif.)
Protocol specification, testing, and verification, X
IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (10th 1990 Ottawa, Canada)), Luigi Logrippo, Robert L. Probert
Protocol specification, testing and verification, IV
IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (4th 1984 Skytop Lodge, Pa.), Yechiam Yemini, Robert Strom, Shaula Yemini
Protocol specification, testing, and verification, III
IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (3rd 1983 Rüschlikon, Switzerland)