%0 Conference Paper %1 conf/gi/RichterZ09 %A Richter, Dirk %A Zimmermann, Wolf %B GI Jahrestagung %D 2009 %E Fischer, Stefan %E Maehle, Erik %E Reischuk, Rüdiger %I GI %K dblp %P 2835-2844 %T Variablenelimination für symbolische Modelle. %U http://dblp.uni-trier.de/db/conf/gi/gi2009.html#RichterZ09 %V P-154 %@ 978-3-88579-248-2

@inproceedings{conf/gi/RichterZ09, added-at = {2023-07-04T00:00:00.000+0200}, author = {Richter, Dirk and Zimmermann, Wolf}, biburl = {https://www.bibsonomy.org/bibtex/2621411b1fcb4656e30356c3b89d14726/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/article2797.html}, interhash = {64edd54e7fb5fd654e4f261c2689d00f}, intrahash = {621411b1fcb4656e30356c3b89d14726}, isbn = {978-3-88579-248-2}, keywords = {dblp}, pages = {2835-2844}, publisher = {GI}, series = {LNI}, timestamp = {2024-04-09T22:18:21.000+0200}, title = {Variablenelimination für symbolische Modelle.}, url = {http://dblp.uni-trier.de/db/conf/gi/gi2009.html#RichterZ09}, volume = {P-154}, year = 2009 }