Protocol specification, testing and verification : proceedings - Yemini Yechiam; IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification( 4th : 1984 : Pennsylvania ); IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification 4th Pennsylvania, 1984 (Amsterdam North Holland, 1985)
Keywords: Computer science; Protocol specification