%0 Conference Paper %1 conf/ats/KochteKMWW11 %A Kochte, Michael A. %A Kundu, Sandip %A Miyase, Kohei %A Wen, Xiaoqing %A Wunderlich, Hans-Joachim %B Asian Test Symposium %D 2011 %I IEEE Computer Society %K dblp %P 383-388 %T Efficient BDD-based Fault Simulation in Presence of Unknown Values. %U http://dblp.uni-trier.de/db/conf/ats/ats2011.html#KochteKMWW11 %@ 978-1-4577-1984-4

@inproceedings{conf/ats/KochteKMWW11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Kochte, Michael A. and Kundu, Sandip and Miyase, Kohei and Wen, Xiaoqing and Wunderlich, Hans-Joachim}, biburl = {https://www.bibsonomy.org/bibtex/2f0637c975c7df8f526f5b114e29ac9c2/dblp}, booktitle = {Asian Test Symposium}, crossref = {conf/ats/2011}, ee = {https://doi.ieeecomputersociety.org/10.1109/ATS.2011.52}, interhash = {03d57d6454d880d676f653e4abe193b4}, intrahash = {f0637c975c7df8f526f5b114e29ac9c2}, isbn = {978-1-4577-1984-4}, keywords = {dblp}, pages = {383-388}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:36:27.000+0200}, title = {Efficient BDD-based Fault Simulation in Presence of Unknown Values.}, url = {http://dblp.uni-trier.de/db/conf/ats/ats2011.html#KochteKMWW11}, year = 2011 }