%0 Conference Paper %1 conf/mbmv/KappS03 %A Kapp, Kai %A Sabelfeld, Viktor K. %B MBMV %D 2003 %E Drechsler, Rolf %I Shaker %K %P 121-130 %T Dead Code Elimination in Formal Synthesis. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2003.html#KappS03

@inproceedings{conf/mbmv/KappS03, added-at = {2023-12-13T05:02:46.000+0100}, author = {Kapp, Kai and Sabelfeld, Viktor K.}, biburl = {https://www.bibsonomy.org/bibtex/2e0387c3bda5212f37c24dc0705b7774e/admin}, booktitle = {MBMV}, crossref = {conf/mbmv/2003}, editor = {Drechsler, Rolf}, interhash = {9dbfd6fffcf4fb814cda42213245b575}, intrahash = {e0387c3bda5212f37c24dc0705b7774e}, keywords = {}, pages = {121-130}, publisher = {Shaker}, timestamp = {2023-12-13T05:02:46.000+0100}, title = {Dead Code Elimination in Formal Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2003.html#KappS03}, year = 2003 }