@conference {3814,
	title = {Diagnosis of Discrete Event Systems Using Ordered Binary Decision Diagrams},
	booktitle = {Seventh International Workshop on Principles of Diagnosis},
	year = {1996},
	month = {October},
	address = {Val Morin, Quebec},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Sztipanovi_J_10_0_1996_Diagnosis_.pdf},
	author = {Sztipanovits, Janos and Misra, Amit}
}
