%0 Conference Paper %1 journals/entcs/AichernigBW09 %A Aichernig, Bernhard K. %A Brandl, Harald %A Wotawa, Franz %B MBT@ETAPS %D 2009 %E Finkbeiner, Bernd %E Gurevich, Yuri %E Petrenko, Alexander K. %I Elsevier %K dblp %N 2 %P 53-69 %T Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. %U http://dblp.uni-trier.de/db/conf/mbt/mbt2009.html#AichernigBW09 %V 253

@inproceedings{journals/entcs/AichernigBW09, added-at = {2023-02-24T00:00:00.000+0100}, author = {Aichernig, Bernhard K. and Brandl, Harald and Wotawa, Franz}, biburl = {https://www.bibsonomy.org/bibtex/2bbd09602973a2ef16f67f56e09a62363/dblp}, booktitle = {MBT@ETAPS}, crossref = {conf/mbt/2009}, editor = {Finkbeiner, Bernd and Gurevich, Yuri and Petrenko, Alexander K.}, ee = {https://doi.org/10.1016/j.entcs.2009.09.051}, interhash = {c0016994ea6dd9042f00719bf6e83f03}, intrahash = {bbd09602973a2ef16f67f56e09a62363}, keywords = {dblp}, number = 2, pages = {53-69}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T16:28:56.000+0200}, title = {Conformance Testing of Hybrid Systems with Qualitative Reasoning Models.}, url = {http://dblp.uni-trier.de/db/conf/mbt/mbt2009.html#AichernigBW09}, volume = 253, year = 2009 }