%0 Journal Article %1 journals/tcad/ChangMB08 %A Chang, Kai-Hui %A Markov, Igor L. %A Bertacco, Valeria %D 2008 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 1 %P 184-188 %T Fixing Design Errors With Counterexamples and Resynthesis. %U http://dblp.uni-trier.de/db/journals/tcad/tcad27.html#ChangMB08 %V 27

@article{journals/tcad/ChangMB08, added-at = {2020-09-24T00:00:00.000+0200}, author = {Chang, Kai-Hui and Markov, Igor L. and Bertacco, Valeria}, biburl = {https://www.bibsonomy.org/bibtex/2e986c2aaa5ff656451809796b647af98/dblp}, ee = {https://doi.org/10.1109/TCAD.2007.907257}, interhash = {9d1e128b1e8e493220ff1dffc22b1128}, intrahash = {e986c2aaa5ff656451809796b647af98}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 1, pages = {184-188}, timestamp = {2020-09-25T11:46:50.000+0200}, title = {Fixing Design Errors With Counterexamples and Resynthesis.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad27.html#ChangMB08}, volume = 27, year = 2008 }