Inproceedings,
Industrial strength refinement checking.
J. Bingham, J. Erickson, G. Singh, and F. Andersen.FMCAD, page 180-183. IEEE, (2009)
Meta data
- BibTeX key
- conf/fmcad/BinghamESA09
- entry type
- inproceedings
- booktitle
- FMCAD
- year
- 2009
- pages
- 180-183
- publisher
- IEEE
- crossref
- conf/fmcad/2009
- ee
- http://dx.doi.org/10.1109/FMCAD.2009.5351123
- isbn
- 978-1-4244-4966-8
- url
- http://dblp.uni-trier.de/db/conf/fmcad/fmcad2009.html#BinghamESA09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}