Inproceedings,
CVC4.
C. Barrett, C. Conway, M. Deters, L. Hadarean, D. Jovanovic, T. King, A. Reynolds, and C. Tinelli.CAV, volume 6806 of Lecture Notes in Computer Science, page 171-177. Springer, (2011)
Meta data
- BibTeX key
- conf/cav/BarrettCDHJKRT11
- entry type
- inproceedings
- booktitle
- CAV
- year
- 2011
- pages
- 171-177
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 6806
- crossref
- conf/cav/2011
- ee
- https://doi.org/10.1007/978-3-642-22110-1_14
- isbn
- 978-3-642-22109-5
- url
- http://dblp.uni-trier.de/db/conf/cav/cav2011.html#BarrettCDHJKRT11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/cav/BarrettCDHJKRT11
%A Barrett, Clark W.
%A Conway, Christopher L.
%A Deters, Morgan
%A Hadarean, Liana
%A Jovanovic, Dejan
%A King, Tim
%A Reynolds, Andrew
%A Tinelli, Cesare
%B CAV
%D 2011
%E Gopalakrishnan, Ganesh
%E Qadeer, Shaz
%I Springer
%K dblp
%P 171-177
%T CVC4.
%U http://dblp.uni-trier.de/db/conf/cav/cav2011.html#BarrettCDHJKRT11
%V 6806
%@ 978-3-642-22109-5
@inproceedings{conf/cav/BarrettCDHJKRT11,
added-at = {2021-07-27T00:00:00.000+0200},
author = {Barrett, Clark W. and Conway, Christopher L. and Deters, Morgan and Hadarean, Liana and Jovanovic, Dejan and King, Tim and Reynolds, Andrew and Tinelli, Cesare},
biburl = {https://www.bibsonomy.org/bibtex/260654b7beefc4e2e592ea341c3398c9c/dblp},
booktitle = {CAV},
crossref = {conf/cav/2011},
editor = {Gopalakrishnan, Ganesh and Qadeer, Shaz},
ee = {https://doi.org/10.1007/978-3-642-22110-1_14},
interhash = {dd8108b9baf1859c54fb81b741f3f555},
intrahash = {60654b7beefc4e2e592ea341c3398c9c},
isbn = {978-3-642-22109-5},
keywords = {dblp},
pages = {171-177},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T12:36:20.000+0200},
title = {CVC4.},
url = {http://dblp.uni-trier.de/db/conf/cav/cav2011.html#BarrettCDHJKRT11},
volume = 6806,
year = 2011
}