Protocol specification, testing and verification : proceedings - Rudin Harry; IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification( 3rd : 1983 : Switzerland ); IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification 3rd , Switzerland 1983 (Amsterdam North Holland, 1983)
Keywords: Computer science; Protocol specification