Protocol specification, testing, and verification, XII : Proceedings of the TC6/WG 6.1 twelfth international symposium on /

per IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification, Linn, Richard J., Uyar, M. Umit, IFIP.
Publicat 1992.