Pātuhitia tēnei: 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 / edited by Piotr Dembiński and Marek Średniawa.