Books by IFIP WG 6.1International Workshop on Protocol Specification, Testing and Verification (3rd 1983 Rüschlikon) on BookTides.