@inproceedings{982,
  author = {Janos Sztipanovits and Amit Misra},
  title = {Diagnosis of Discrete Event Systems Using Ordered Binary Decision Diagrams},
  year = {1996},
  journal = {Seventh International Workshop on Principles of Diagnosis},
  month = {October},
  address = {Val Morin, Quebec},
  language = {eng},
}