%0 Journal Article %1 journals/tcad/DaoLM18 %A Dao, Ai Quoc %A Lin, Mark Po-Hung %A Mishchenko, Alan %D 2018 %J IEEE Trans. on CAD of Integrated Circuits and Systems %K dblp %N 12 %P 3198-3205 %T SAT-Based Fault Equivalence Checking in Functional Safety Verification. %U http://dblp.uni-trier.de/db/journals/tcad/tcad37.html#DaoLM18 %V 37

@article{journals/tcad/DaoLM18, added-at = {2018-12-26T00:00:00.000+0100}, author = {Dao, Ai Quoc and Lin, Mark Po-Hung and Mishchenko, Alan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d059f2001f3f8a0e971bf1f3e29e86a8/dblp}, ee = {https://doi.org/10.1109/TCAD.2018.2791465}, interhash = {bbb60967d0fc8575048280de6bd5944d}, intrahash = {d059f2001f3f8a0e971bf1f3e29e86a8}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, keywords = {dblp}, number = 12, pages = {3198-3205}, timestamp = {2019-09-27T08:26:45.000+0200}, title = {SAT-Based Fault Equivalence Checking in Functional Safety Verification.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad37.html#DaoLM18}, volume = 37, year = 2018 }