Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth international symposium on protocol specification, testing, and verification, Enschede, The Netherlands, 6-9 June, 1989 / ed. by Ed Brinksma, Giuseppe Scollo, Chris A. Vissers

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth international symposium on protocol specification, testing, and verification, Enschede, The Netherlands, 6-9 June, 1989 / ed. by Ed Brinksma, Giuseppe Scollo, Chris A. Vissers