%0 Conference Paper %1 conf/fmcad/JonesSD96 %A Jones, Robert B. %A Seger, Carl-Johan H. %A Dill, David L. %B FMCAD %D 1996 %E Srivas, Mandayam K. %E Camilleri, Albert John %I Springer %K dblp %P 159-171 %T Self-Consistency Checking. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad1996.html#JonesSD96 %V 1166 %@ 3-540-61937-2

@inproceedings{conf/fmcad/JonesSD96, added-at = {2017-05-17T00:00:00.000+0200}, author = {Jones, Robert B. and Seger, Carl-Johan H. and Dill, David L.}, biburl = {https://www.bibsonomy.org/bibtex/2a46e3d2c3e587f55ff36718e31e967ea/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/1996}, editor = {Srivas, Mandayam K. and Camilleri, Albert John}, ee = {https://doi.org/10.1007/BFb0031806}, interhash = {def95148bb24d8c66eede76abb3a6ce5}, intrahash = {a46e3d2c3e587f55ff36718e31e967ea}, isbn = {3-540-61937-2}, keywords = {dblp}, pages = {159-171}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:19:28.000+0200}, title = {Self-Consistency Checking.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad1996.html#JonesSD96}, volume = 1166, year = 1996 }