%0 Conference Paper %1 conf/dagstuhl/AbrahamCLS10 %A Ábrahám, Erika %A Corzilius, Florian %A Loup, Ulrich %A Sturm, Thomas %B Verification over discrete-continuous boundaries %D 2010 %E Becker, Bernd %E Cardelli, Luca %E Hermanns, Holger %E Tahar, Sofiène %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K dblp %T A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P10271.html#AbrahamCLS10 %V 10271

@inproceedings{conf/dagstuhl/AbrahamCLS10, added-at = {2018-08-23T00:00:00.000+0200}, author = {Ábrahám, Erika and Corzilius, Florian and Loup, Ulrich and Sturm, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/20c435e4c202a3f1b7258b5ed24d98890/dblp}, booktitle = {Verification over discrete-continuous boundaries}, crossref = {conf/dagstuhl/2010P10271}, editor = {Becker, Bernd and Cardelli, Luca and Hermanns, Holger and Tahar, Sofiène}, ee = {http://drops.dagstuhl.de/opus/volltexte/2010/2790/}, interhash = {4004176cf96a3f6eda1ce725cbe1fa3d}, intrahash = {0c435e4c202a3f1b7258b5ed24d98890}, keywords = {dblp}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:25:08.000+0200}, title = {A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P10271.html#AbrahamCLS10}, volume = 10271, year = 2010 }