Simple interpolants for linear arithmetic.
- Publication type:
- Conference
- Metadata:
-
- 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.
Data source: DBLP
- Other metadata sources:
-
- Beziehungen:
-