On Limits and Possibilities of Automated Protocol Analysis

Gerard J. Holzmann. On Limits and Possibilities of Automated Protocol Analysis. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 339-344, North-Holland, 1987.

Abstract

Abstract is missing.