Books by IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (11th 1991 Stockholm, Sweden) on BookTides.