%0 Conference Paper %1 conf/gi/WeilerPK09 %A Weiler, Gabriele %A Poetzsch-Heffter, Arnd %A Kiefer, Stephan %B GI Jahrestagung %D 2009 %E Fischer, Stefan %E Maehle, Erik %E Reischuk, Rüdiger %I GI %K dblp %P 3135-3149 %T A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows. %U http://dblp.uni-trier.de/db/conf/gi/gi2009.html#WeilerPK09 %V P-154 %@ 978-3-88579-248-2

@inproceedings{conf/gi/WeilerPK09, added-at = {2023-07-04T00:00:00.000+0200}, author = {Weiler, Gabriele and Poetzsch-Heffter, Arnd and Kiefer, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/2510fe0ddd303fb4ec70597bf36bcdb38/dblp}, booktitle = {GI Jahrestagung}, crossref = {conf/gi/2009}, editor = {Fischer, Stefan and Maehle, Erik and Reischuk, Rüdiger}, ee = {http://subs.emis.de/LNI/Proceedings/Proceedings154/article2823.html}, interhash = {7f9db7751f33f5a817e0a96ef639f792}, intrahash = {510fe0ddd303fb4ec70597bf36bcdb38}, isbn = {978-3-88579-248-2}, keywords = {dblp}, pages = {3135-3149}, publisher = {GI}, series = {LNI}, timestamp = {2024-04-09T22:18:21.000+0200}, title = {A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows.}, url = {http://dblp.uni-trier.de/db/conf/gi/gi2009.html#WeilerPK09}, volume = {P-154}, year = 2009 }