%0 Conference Paper %1 conf/ddecs/PrzigodaWD15 %A Przigoda, Nils %A Wille, Robert %A Drechsler, Rolf %B DDECS %D 2015 %E Stamenkovic, Zoran %E Pleskacz, Witold A. %E Raik, Jaan %E Vierhaus, Heinrich Theodor %I IEEE Computer Society %K dblp %P 171-176 %T Contradiction Analysis for Inconsistent Formal Models. %U http://dblp.uni-trier.de/db/conf/ddecs/ddecs2015.html#PrzigodaWD15 %@ 978-1-4799-6780-3

@inproceedings{conf/ddecs/PrzigodaWD15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Przigoda, Nils and Wille, Robert and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/206fbd240f611e91d70765de93d95f43a/dblp}, booktitle = {DDECS}, crossref = {conf/ddecs/2015}, editor = {Stamenkovic, Zoran and Pleskacz, Witold A. and Raik, Jaan and Vierhaus, Heinrich Theodor}, ee = {https://www.wikidata.org/entity/Q59242190}, interhash = {3f858a043656c6bc3b7338a5bb65cae7}, intrahash = {06fbd240f611e91d70765de93d95f43a}, isbn = {978-1-4799-6780-3}, keywords = {dblp}, pages = {171-176}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:41:24.000+0200}, title = {Contradiction Analysis for Inconsistent Formal Models.}, url = {http://dblp.uni-trier.de/db/conf/ddecs/ddecs2015.html#PrzigodaWD15}, year = 2015 }