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

著者: IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification, Linn, Richard J., Uyar, M. Umit, IFIP.
出版事項 1992.