Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1, International Symposium on Protocol Specification, Testing, and Verification, Warsaw, Poland, June 1995 - IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification 1995 : Warsaw, Poland); Dembinski, Piotr; Sredniawa, Marek; IFIP Working Group 6.1. (London : Chapman & Hall, 1996)
Published : London ; New York : Chapman & Hall, 1994-1995
Separately cataloged beginning with vol. for 1996, when PSTV and the International Conference on Formal Description Techniques began holding joint international conferences.
Organized under the auspices of: IFIP Working Group 6.1.
Keywords: Computer network protocols -- Congresses