BibTeX record conf/dagstuhl/AbrahamCLS10

download as .bib file

@inproceedings{DBLP:conf/dagstuhl/AbrahamCLS10,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Florian Corzilius and
               Ulrich Loup and
               Thomas Sturm},
  title     = {A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra},
  booktitle = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
  year      = {2010},
  crossref  = {DBLP:conf/dagstuhl/2010P10271},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2010/2790/},
  timestamp = {Thu, 23 Aug 2018 15:56:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/AbrahamCLS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10271,
  editor    = {Bernd Becker and
               Luca Cardelli and
               Holger Hermanns and
               Sofi{\`{e}}ne Tahar},
  title     = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {10271},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/portals/10271/},
  timestamp = {Fri, 20 Jan 2017 12:54:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2010P10271},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics