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 - Chanson, Samuel T.; Vuong, Son T. (Chapman & Hall, 1995)