Conference proceedings.
Includes index.
Protocol specification, testing and verification, XII : proceedings of the IFIP TC6/WG6.1. twel[f]th International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Flor. ISBN 0444898743. Published by North-Holland in 1992. Publication and catalogue information, links to buy online and reader comments.