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

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