%0 Journal Article %1 journals/tcad/BlumenrohrES99 %A Blumenröhr, Christian %A Eisenbiegler, Dirk %A Schmid, Detlef %D 1999 %J IEEE Trans. on CAD of Integrated Circuits and Systems %K dblp %N 1 %P 25-32 %T On the efficiency of formal synthesis-experimental results. %U http://dblp.uni-trier.de/db/journals/tcad/tcad18.html#BlumenrohrES99 %V 18

@article{journals/tcad/BlumenrohrES99, added-at = {2016-03-18T00:00:00.000+0100}, author = {Blumenröhr, Christian and Eisenbiegler, Dirk and Schmid, Detlef}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23d9277d62022b13368279e374b75d69c/dblp}, ee = {http://dx.doi.org/10.1109/43.739056}, interhash = {35e515c5b5c8345f18f3a528b2489e3b}, intrahash = {3d9277d62022b13368279e374b75d69c}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, keywords = {dblp}, number = 1, pages = {25-32}, timestamp = {2016-03-19T10:33:31.000+0100}, title = {On the efficiency of formal synthesis-experimental results.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad18.html#BlumenrohrES99}, volume = 18, year = 1999 }