Protocol specification, testing, and verification IV / od IFIP WG 6.1 International Workshop Protocol Specification, Testing and Verification (4th : 1984 : Skytop Lodge, Pa.), Yemini, Yechiam, Strom, Robert, Yemini, Shaula