Protocol specification, testing, and verification, IX
Ed Brinksma
Giuseppe Scollo
IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (9th 1989 Enschede, Pays-Bas)
1990
Computer Books: Operating Systems Congresses Computers - Communications / Networking