%0 Conference Paper %1 conf/dac/NiermannCP90 %A Niermann, Thomas M. %A Cheng, Wu-Tung %A Patel, Janak H. %B DAC %D 1990 %E Smith, Richard C. %I IEEE Computer Society Press %K dblp %P 535-540 %T Proofs: A Fast, Memory Efficient Sequential Circuit Fault Simulator. %U http://dblp.uni-trier.de/db/conf/dac/dac90.html#NiermannCP90 %@ 0-89791-363-9

@inproceedings{conf/dac/NiermannCP90, added-at = {2017-03-16T00:00:00.000+0100}, author = {Niermann, Thomas M. and Cheng, Wu-Tung and Patel, Janak H.}, biburl = {https://www.bibsonomy.org/bibtex/28c1f653a3edd6019ba15a3830cfd94c2/dblp}, booktitle = {DAC}, crossref = {conf/dac/1990}, editor = {Smith, Richard C.}, ee = {http://doi.acm.org/10.1145/123186.123396}, interhash = {41a8c9c0c5035c23a2acb412e44355cb}, intrahash = {8c1f653a3edd6019ba15a3830cfd94c2}, isbn = {0-89791-363-9}, keywords = {dblp}, pages = {535-540}, publisher = {IEEE Computer Society Press}, timestamp = {2017-03-17T11:40:39.000+0100}, title = {Proofs: A Fast, Memory Efficient Sequential Circuit Fault Simulator.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac90.html#NiermannCP90}, year = 1990 }