Protocol specification, testing and verification : proceedings - Sunshine Carl; IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification( 2nd : 1982 : California ); IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification 2nd California, 1982 (Amsterdam North Holland, 1982)
Keywords: Computer science; Protocol specification