Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994

Son T. Vuong Samuel T. Chanson Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994 PSTV IFIP Conference Proceedings 1 Chapman & Hall 1995 0-412-63640-9 db/conf/pstv/pstv1994.html