Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fmcad/BaumgartnerMCSY09
%A Baumgartner, Jason
%A Mony, Hari
%A Case, Michael L.
%A Sawada, Jun
%A Yorav, Karen
%B FMCAD
%D 2009
%I IEEE
%K dblp
%P 120-127
%T Scalable conditional equivalence checking: An automated invariant-generation based approach.
%U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2009.html#BaumgartnerMCSY09
%@ 978-1-4244-4966-8
@inproceedings{conf/fmcad/BaumgartnerMCSY09,
added-at = {2010-02-04T00:00:00.000+0100},
author = {Baumgartner, Jason and Mony, Hari and Case, Michael L. and Sawada, Jun and Yorav, Karen},
biburl = {https://www.bibsonomy.org/bibtex/28627e8084f19b20f8b147695436315a3/dblp},
booktitle = {FMCAD},
crossref = {conf/fmcad/2009},
ee = {http://dx.doi.org/10.1109/FMCAD.2009.5351131},
interhash = {2bd329a7f39fb95391c96de288276ae4},
intrahash = {8627e8084f19b20f8b147695436315a3},
isbn = {978-1-4244-4966-8},
keywords = {dblp},
pages = {120-127},
publisher = {IEEE},
timestamp = {2016-02-18T11:52:00.000+0100},
title = {Scalable conditional equivalence checking: An automated invariant-generation based approach.},
url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2009.html#BaumgartnerMCSY09},
year = 2009
}