TY - BOOK AU - Dembinski, Piotr AU - Sredniawa, Marek TI - Protocol specification, testing and verification XV : proceedings of the fifteenth IFIP WG 6.1 international symposium, Warsaw, Poland, June 1995 SN - 9780412716201 U1 - 004.6205 DEM PY - 1996/// CY - London PB - Chapman & Hall KW - Computer Networking -- Computer Science - Networking ER -