Protocol specification, testing and verification, IV

de IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (4th 1984 Skytop Lodge, Pa.), Yechiam Yemini, Robert Strom, Shaula Yemini · Publicada por primera vez en 1985