%0 Conference Paper %1 conf/aaai/DiedrichMN19 %A Diedrich, Alexander %A Maier, Alexander %A Niggemann, Oliver %B AAAI %D 2019 %I AAAI Press %K dblp %P 1452-1459 %T Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2019.html#DiedrichMN19 %@ 978-1-57735-809-1

@inproceedings{conf/aaai/DiedrichMN19, added-at = {2021-02-02T00:00:00.000+0100}, author = {Diedrich, Alexander and Maier, Alexander and Niggemann, Oliver}, biburl = {https://www.bibsonomy.org/bibtex/2137313e5d7fc5788ca2b41192bbc0964/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2019}, ee = {https://doi.org/10.1609/aaai.v33i01.33011452}, interhash = {79bf877379ece13752e9250716e8d025}, intrahash = {137313e5d7fc5788ca2b41192bbc0964}, isbn = {978-1-57735-809-1}, keywords = {dblp}, pages = {1452-1459}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:02:18.000+0200}, title = {Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2019.html#DiedrichMN19}, year = 2019 }