@inproceedings{9246f2f712f84840859f96dfd5b08f5e,
title = "Model-based Debugging or How to Diagnose Programs Automatically",
author = "Franz Wotawa and Wolfgang Stumptner and Wolfgang Mayer",
year = "2002",
language = "English",
isbn = "3-540-43781-9",
volume = "2358",
series = "Lecture notes in computer science : Lecture notes in artificial intelligence",
publisher = "Springer",
pages = "746--746",
booktitle = "Developments in applied artificial intelligence",
note = "International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems ; Conference date: 17-06-2002 Through 20-06-2002",
}