%0 Journal Article %1 journals/tcad/KochteEW12 %A Kochte, Michael A. %A Elm, Melanie %A Wunderlich, Hans-Joachim %D 2012 %J IEEE Trans. on CAD of Integrated Circuits and Systems %K dblp %N 12 %P 1908-1919 %T Accurate X-Propagation for Test Applications by SAT-Based Reasoning. %U http://dblp.uni-trier.de/db/journals/tcad/tcad31.html#KochteEW12 %V 31

@article{journals/tcad/KochteEW12, added-at = {2012-11-19T00:00:00.000+0100}, author = {Kochte, Michael A. and Elm, Melanie and Wunderlich, Hans-Joachim}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26bc10787fdfdb0bd62df74f5e9d4e7fc/dblp}, ee = {http://dx.doi.org/10.1109/TCAD.2012.2210422}, interhash = {81c38d92e9b631c9b35c63f7cf6728f6}, intrahash = {6bc10787fdfdb0bd62df74f5e9d4e7fc}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, keywords = {dblp}, number = 12, pages = {1908-1919}, timestamp = {2016-02-02T10:08:08.000+0100}, title = {Accurate X-Propagation for Test Applications by SAT-Based Reasoning.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad31.html#KochteEW12}, volume = 31, year = 2012 }