%0 Conference Paper %1 conf/dac/BurchCMD90 %A Burch, Jerry R. %A Clarke, Edmund M. %A McMillan, Kenneth L. %A Dill, David L. %B DAC %D 1990 %E Smith, Richard C. %I IEEE Computer Society Press %K dblp %P 46-51 %T Sequential Circuit Verification Using Symbolic Model Checking. %U http://dblp.uni-trier.de/db/conf/dac/dac90.html#BurchCMD90 %@ 0-89791-363-9

@inproceedings{conf/dac/BurchCMD90, added-at = {2017-03-16T00:00:00.000+0100}, author = {Burch, Jerry R. and Clarke, Edmund M. and McMillan, Kenneth L. and Dill, David L.}, biburl = {https://www.bibsonomy.org/bibtex/2a4dd15501d9668a8f14bfdb2509235c1/dblp}, booktitle = {DAC}, crossref = {conf/dac/1990}, editor = {Smith, Richard C.}, ee = {http://doi.acm.org/10.1145/123186.123223}, interhash = {2383de6efad15f3d07e3644dcacdf141}, intrahash = {a4dd15501d9668a8f14bfdb2509235c1}, isbn = {0-89791-363-9}, keywords = {dblp}, pages = {46-51}, publisher = {IEEE Computer Society Press}, timestamp = {2017-03-17T11:40:39.000+0100}, title = {Sequential Circuit Verification Using Symbolic Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac90.html#BurchCMD90}, year = 1990 }