%0 Conference Paper %1 conf/cade/HillenbrandJL99 %A Hillenbrand, Thomas %A Jaeger, Andreas %A Löchner, Bernd %B CADE %D 1999 %E Ganzinger, Harald %I Springer %K dblp %P 232-236 %T System Description: Waldmeister - Improvements in Performance and Ease of Use. %U http://dblp.uni-trier.de/db/conf/cade/cade99.html#HillenbrandJL99 %V 1632 %@ 3-540-66222-7

@inproceedings{conf/cade/HillenbrandJL99, added-at = {2017-05-21T00:00:00.000+0200}, author = {Hillenbrand, Thomas and Jaeger, Andreas and Löchner, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a90cc82d28aef2a168e179d258e22d84/dblp}, booktitle = {CADE}, crossref = {conf/cade/1999}, editor = {Ganzinger, Harald}, ee = {https://doi.org/10.1007/3-540-48660-7_20}, interhash = {dea9b9c8f4d16038aacb15274c513db1}, intrahash = {a90cc82d28aef2a168e179d258e22d84}, isbn = {3-540-66222-7}, keywords = {dblp}, pages = {232-236}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:39:10.000+0200}, title = {System Description: Waldmeister - Improvements in Performance and Ease of Use.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade99.html#HillenbrandJL99}, volume = 1632, year = 1999 }