Computing Diagnostic Test for Incorrect Processes

• Authors:

• Ufuk Celikkan;Rance Cleaveland

• Affiliations:

• -;-

• Venue:
• Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII
• Year:
• 1992