%0 Conference Paper %1 conf/fmcad/BinghamESA09 %A Bingham, Jesse D. %A Erickson, John %A Singh, Gaurav %A Andersen, Flemming %B FMCAD %D 2009 %I IEEE %K dblp %P 180-183 %T Industrial strength refinement checking. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2009.html#BinghamESA09 %@ 978-1-4244-4966-8

@inproceedings{conf/fmcad/BinghamESA09, added-at = {2010-03-11T00:00:00.000+0100}, author = {Bingham, Jesse D. and Erickson, John and Singh, Gaurav and Andersen, Flemming}, biburl = {https://www.bibsonomy.org/bibtex/232110b964f1fdc13161a27862264d24c/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2009}, ee = {http://dx.doi.org/10.1109/FMCAD.2009.5351123}, interhash = {561d151b48a329800c8f88ed35b7c1ad}, intrahash = {32110b964f1fdc13161a27862264d24c}, isbn = {978-1-4244-4966-8}, keywords = {dblp}, pages = {180-183}, publisher = {IEEE}, timestamp = {2016-02-18T11:52:00.000+0100}, title = {Industrial strength refinement checking.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2009.html#BinghamESA09}, year = 2009 }