Simple interpolants for linear arithmetic.
- Publikationstyp:
- Konferenzbeitrag
- Metadaten:
-
- Autoren
-
Christoph Scholl
-
Florian Pigorsch
-
Stefan Disch
-
Ernst Althaus
- Editoren
-
Gerhard P Fettweis
-
Wolfgang Nebel
- ISBN-13
- 978-3-9815370-2-4
- Zeitschrift
- DATE
- Paginierung
- 1 - 6
- Datum der Veröffentlichung
- 2014
- Herausgeber
- European Design and Automation Association
- Herausgeber URL
- https://ieeexplore.ieee.org/xpl/conhome/6784162/proceeding
- Titel
- Simple interpolants for linear arithmetic.
Datenquelle: DBLP
- Andere Metadatenquellen:
-
- Beziehungen:
-