TY - BOOK AU - Yemini Yechiam ED - IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification( 4th : 1984 : Pennsylvania ) ED - IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification 4th TI - Protocol specification, testing and verification : proceedings SN - 0-444-87676-6 U1 - 5.14 PY - 1985/// CY - Amsterdam PB - North Holland KW - Computer science KW - Protocol specification ER -