@inproceedings{bauer:pinchinat:wodes08,
  author =	 {Andreas Bauer and Sophie Pinchinat},
  title =	 {A Topological Perspective on Diagnosis},
  PUBLISHER =	 {IEEE Computer Society},
  ADDRESS =      {Los Alamitos, CA},
  BOOKTITLE =	 {Proceedings of the 9th International Workshop on
                  Discrete Event Systems (WODES)},
  PAGES =        {218--224},
  YEAR =	 2008,
  MONTH =	 May,
  doi =          {10.1109/WODES.2008.4605948}
}