%0 Conference Paper %1 conf/dac/NagumoNNMM94 %A Nagumo, Takaharu %A Nagai, Masahiko %A Nishida, Takao %A Miyoshi, Masayuki %A Miyamoto, Shunsuke %B DAC %D 1994 %E Lorenzetti, Michael J. %I ACM Press %K dblp %P 510-515 %T VFSIM: Vectorized Fault Simulator Using a Reduction Technique Excluding Temporarily Unobservable Faults. %U http://dblp.uni-trier.de/db/conf/dac/dac94.html#NagumoNNMM94 %@ 0-7803-1836-6

@inproceedings{conf/dac/NagumoNNMM94, added-at = {2017-03-16T00:00:00.000+0100}, author = {Nagumo, Takaharu and Nagai, Masahiko and Nishida, Takao and Miyoshi, Masayuki and Miyamoto, Shunsuke}, biburl = {https://www.bibsonomy.org/bibtex/288f49928d1703523cf4035f6aeab7ddc/dblp}, booktitle = {DAC}, crossref = {conf/dac/1994}, editor = {Lorenzetti, Michael J.}, ee = {http://doi.acm.org/10.1145/196244.196519}, interhash = {a41ab89d473ad5dbbc46bc280723beca}, intrahash = {88f49928d1703523cf4035f6aeab7ddc}, isbn = {0-7803-1836-6}, keywords = {dblp}, pages = {510-515}, publisher = {ACM Press}, timestamp = {2017-03-17T11:41:18.000+0100}, title = {VFSIM: Vectorized Fault Simulator Using a Reduction Technique Excluding Temporarily Unobservable Faults.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac94.html#NagumoNNMM94}, year = 1994 }