Includes index.
Protocol specification, testing, and verification, XI : proceedings of the IFIP WG 6.1, Eleventh International Symposium on Protocol Specification, Testing, and Verification, Stockholm, Sweden, 18-20 . ISBN 0444892109. Published by North-Holland in 1991. Publication and catalogue information, links to buy online and reader comments.