%0 Conference Paper %1 conf/fmcad/MonyBPKK04 %A Mony, Hari %A Baumgartner, Jason %A Paruthi, Viresh %A Kanzelman, Robert %A Kuehlmann, Andreas %B FMCAD %D 2004 %E Hu, Alan J. %E Martin, Andrew K. %I Springer %K dblp %P 159-173 %T Scalable Automated Verification via Expert-System Guided Transformations. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2004.html#MonyBPKK04 %V 3312 %@ 3-540-23738-0

@inproceedings{conf/fmcad/MonyBPKK04, added-at = {2017-05-17T00:00:00.000+0200}, author = {Mony, Hari and Baumgartner, Jason and Paruthi, Viresh and Kanzelman, Robert and Kuehlmann, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2e00cca1005305b6e39b14ef213ac53fc/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2004}, editor = {Hu, Alan J. and Martin, Andrew K.}, ee = {https://doi.org/10.1007/978-3-540-30494-4_12}, interhash = {4b138342c928841f44779889758ca845}, intrahash = {e00cca1005305b6e39b14ef213ac53fc}, isbn = {3-540-23738-0}, keywords = {dblp}, pages = {159-173}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:19:28.000+0200}, title = {Scalable Automated Verification via Expert-System Guided Transformations.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2004.html#MonyBPKK04}, volume = 3312, year = 2004 }