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, IX
IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (9th 1989 Enschede, Pays-Bas), Ed Brinksma, Giuseppe Scollo
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)