Incollection,
Satisfiability Modulo Theories.
C. Barrett, and C. Tinelli.Handbook of Model Checking, Springer, (2018)
Meta data
- BibTeX key
- reference/mc/BarrettT18
- entry type
- incollection
- booktitle
- Handbook of Model Checking
- year
- 2018
- pages
- 305-343
- publisher
- Springer
- crossref
- reference/mc/2018
- ee
- https://doi.org/10.1007/978-3-319-10575-8_11
- isbn
- 978-3-319-10575-8
- url
- http://dblp.uni-trier.de/db/reference/mc/mc2018.html#BarrettT18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Book Section
%1 reference/mc/BarrettT18
%A Barrett, Clark W.
%A Tinelli, Cesare
%B Handbook of Model Checking
%D 2018
%E Clarke, Edmund M.
%E Henzinger, Thomas A.
%E Veith, Helmut
%E Bloem, Roderick
%I Springer
%K dblp
%P 305-343
%T Satisfiability Modulo Theories.
%U http://dblp.uni-trier.de/db/reference/mc/mc2018.html#BarrettT18
%@ 978-3-319-10575-8
@incollection{reference/mc/BarrettT18,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Barrett, Clark W. and Tinelli, Cesare},
biburl = {https://www.bibsonomy.org/bibtex/224791cc84cd594c607804ea7ca5fe475/dblp},
booktitle = {Handbook of Model Checking},
crossref = {reference/mc/2018},
editor = {Clarke, Edmund M. and Henzinger, Thomas A. and Veith, Helmut and Bloem, Roderick},
ee = {https://doi.org/10.1007/978-3-319-10575-8_11},
interhash = {6fe5bf0d2edb738c8e235af9e7c974c4},
intrahash = {24791cc84cd594c607804ea7ca5fe475},
isbn = {978-3-319-10575-8},
keywords = {dblp},
pages = {305-343},
publisher = {Springer},
timestamp = {2024-04-09T07:38:27.000+0200},
title = {Satisfiability Modulo Theories.},
url = {http://dblp.uni-trier.de/db/reference/mc/mc2018.html#BarrettT18},
year = 2018
}