Computing Diagnostic Test for Incorrect Processes

Ufuk Celikkan, Rance Cleaveland. Computing Diagnostic Test for Incorrect Processes. In Richard J. Linn Jr., M. Ümit Uyar, editors, Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992. Volume C-8 of IFIP Transactions, pages 263-277, North-Holland, 1992.

Abstract

Abstract is missing.