BibTeX record conf/date/SchollPDA14

download as .bib file

@inproceedings{DBLP:conf/date/SchollPDA14,
  author       = {Christoph Scholl and
                  Florian Pigorsch and
                  Stefan Disch and
                  Ernst Althaus},
  editor       = {Gerhard P. Fettweis and
                  Wolfgang Nebel},
  title        = {Simple interpolants for linear arithmetic},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages        = {1--6},
  publisher    = {European Design and Automation Association},
  year         = {2014},
  url          = {https://doi.org/10.7873/DATE.2014.128},
  doi          = {10.7873/DATE.2014.128},
  timestamp    = {Tue, 02 Aug 2022 10:18:08 +0200},
  biburl       = {https://dblp.org/rec/conf/date/SchollPDA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics