@conference {12798, title = {Computing diagnostic tests for incorrect processes}, booktitle = {Proc. IFIP WG6. 1 12th Intl. Symp. on Protocol Specification, Testing, and Verification}, year = {1992}, month = {1992///}, pages = {263 - 278}, author = {Celikkan,U. and Cleaveland, Rance} }