Protocol specification, testing and verification, X : proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification : Ottawa, Ontario, Canada, 12-15. ISBN 0444888101. Published by North-Holland in 1990. Publication and catalogue information, links to buy online and reader comments.