Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification
Testing IFIP WG 6.1 International Workshop on Protocol Specification
Bok Engelsk 1982