TY  - SER
AU  - Dembinski,Piotr
AU  - Sredniawa,Marek
ED  - IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification
ED  - IFIP Working Group 6.1.
TI  - Protocol specification, testing, and verification: proceedings of the IFIP WG 6.1, International Symposium on Protocol Specification, Testing, and Verification, Warsaw, Poland, June 1995 
T2  - 1992-1993: IFIP transactions C: Communication systems
SN  - 0412716208
PY  - 1996///
CY  - London
PB  - Chapman & Hall
KW  - Computer network protocols
KW  - Congresses
N1  - 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
ER  -