Books by IFIP WG 6.1 International Symposium on Protocol Specification, Testing and Verification (14th 1994 Vancouver, B.C) on BookTides.