Protocol specification, testing, and verification, XIV proceedings of the IFIP WG 6.1, fourteenth international symposium on protocol specification, testing, and verification, Vancouver, Canada, August, 1994 - IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (14th : 1994 : Vancouver, Canada); Chanson, Samuel T.; Vuong, Son T. (London Chapman & Hall, 1995)
Keywords: Computer network protocols -- Congresses