%0 Journal Article %1 journals/tcad/ChangBM07 %A Chang, Kai-Hui %A Bertacco, Valeria %A Markov, Igor L. %D 2007 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 1 %P 152-165 %T Simulation-Based Bug Trace Minimization With BMC-Based Refinement. %U http://dblp.uni-trier.de/db/journals/tcad/tcad26.html#ChangBM07 %V 26

@article{journals/tcad/ChangBM07, added-at = {2020-09-24T00:00:00.000+0200}, author = {Chang, Kai-Hui and Bertacco, Valeria and Markov, Igor L.}, biburl = {https://www.bibsonomy.org/bibtex/2bc6af9f3bbc9cd34d9d87539f7ab06ec/dblp}, ee = {https://doi.org/10.1109/TCAD.2006.882511}, interhash = {d901ba897c858c6cae1094056f1905ff}, intrahash = {bc6af9f3bbc9cd34d9d87539f7ab06ec}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 1, pages = {152-165}, timestamp = {2020-09-25T11:49:22.000+0200}, title = {Simulation-Based Bug Trace Minimization With BMC-Based Refinement.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad26.html#ChangBM07}, volume = 26, year = 2007 }