<?xml version="1.0"?>
<dblp>
<article key="journals/tcad/BlumenrohrES99" mdate="2006-05-22">
<author>Christian Blumenr&#246;hr</author>
<author>Dirk Eisenbiegler</author>
<author>Detlef Schmid</author>
<title>On the efficiency of formal synthesis-experimental results.</title>
<pages>25-32</pages>
<year>1999</year>
<volume>18</volume>
<journal>IEEE Trans. on CAD of Integrated Circuits and Systems</journal>
<number>1</number>
<ee>http://doi.ieeecomputersociety.org/10.1109/43.739056</ee>
<url>db/journals/tcad/tcad18.html#BlumenrohrES99</url>
</article>
</dblp>
