@inproceedings{ hs00,
  publisher = {Springer-Verlag}
}
,
  title = {Hybrid Systems Diagnosis}
}
,
  url = {hs00.pdf}
}
,
  series = {Lecture Notes in Computer Science}
}
,
  booktitle = {Proceedings of The Third International Workshop on Hybrid Systems: Computation and Control (HSCC 2000)}
}
,
  author = {McIlraith, S. and Biswas, G. and Clancy, D. and Gupta, V.}
}
,
  year = {2000}
}
,
  month = {March 23-25}
}
,
  address = {Pittsburgh, PA, USA}
}
,
  pages = {282-295}
}