%0 Conference Paper %1 conf/fmcad/CantuBSB96 %A Cantu, Francisco J. %A Bundy, Alan %A Smaill, Alan %A Basin, David A. %B FMCAD %D 1996 %E Srivas, Mandayam K. %E Camilleri, Albert John %I Springer %K dblp %P 94-108 %T Experiments in Automating Hardware Verification Using Inductive Proof Planning. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad1996.html#CantuBSB96 %V 1166 %@ 3-540-61937-2

@inproceedings{conf/fmcad/CantuBSB96, added-at = {2017-05-17T00:00:00.000+0200}, author = {Cantu, Francisco J. and Bundy, Alan and Smaill, Alan and Basin, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2a7db8e364f02121e58c19dafe672946c/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/1996}, editor = {Srivas, Mandayam K. and Camilleri, Albert John}, ee = {https://doi.org/10.1007/BFb0031802}, interhash = {85e89b2f3c7e4594fbf36dd5da4323bc}, intrahash = {a7db8e364f02121e58c19dafe672946c}, isbn = {3-540-61937-2}, keywords = {dblp}, pages = {94-108}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:19:28.000+0200}, title = {Experiments in Automating Hardware Verification Using Inductive Proof Planning.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad1996.html#CantuBSB96}, volume = 1166, year = 1996 }