@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}
}
