Protocol specification, testing and verification XV : proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995. ISBN 0412716208. Published by Chapman & Hall on behalf of the International Federation for Information Processing in 1996. Publication and catalogue information, links to buy online and reader comments.