BibTeX record reference/mc/BarrettT18

download as .bib file

@incollection{DBLP:reference/mc/BarrettT18,
  author       = {Clark W. Barrett and
                  Cesare Tinelli},
  editor       = {Edmund M. Clarke and
                  Thomas A. Henzinger and
                  Helmut Veith and
                  Roderick Bloem},
  title        = {Satisfiability Modulo Theories},
  booktitle    = {Handbook of Model Checking},
  pages        = {305--343},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-10575-8\_11},
  doi          = {10.1007/978-3-319-10575-8\_11},
  timestamp    = {Sat, 30 Sep 2023 10:30:29 +0200},
  biburl       = {https://dblp.org/rec/reference/mc/BarrettT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics