@inproceedings{conf/cav/BruttomessoCFGHNPS07,
title = {A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.},
author = {Roberto Bruttomesso and Alessandro Cimatti and Anders Franzén and Alberto Griggio and Ziyad Hanna and Alexander Nadel and Amit Palti and Roberto Sebastiani},
booktitle = {CAV},
crossref = {conf/cav/2007},
editor = {Werner Damm and Holger Hermanns},
pages = {547-560},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/cav/cav2007.html#BruttomessoCFGHNPS07},
volume = {4590},
year = {2007},
description = {dblp},
ee = {http://dx.doi.org/10.1007/978-3-540-73368-3_54}, isbn = {978-3-540-73367-6}, date = {2007-09-03},
keywords = {dblp }
}
::