Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Improving Interpolants for Linear Arithmetic

Althaus, E., Beber, B., Kupilas, J., & Scholl, C. (2015). Improving Interpolants for Linear Arithmetic. In B. Finkbeiner, G. Pu, & L. Zhang (Eds.), Automated Technology for Verification and Analysis (pp. 48-63). Berlin: Springer. doi:10.1007/978-3-319-24953-7_5.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-002A-5A54-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-5E3C-D
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Althaus, Ernst1, Autor           
Beber, Björn1, Autor           
Kupilas, Joschka1, Autor           
Scholl, Christoph2, Autor
Affiliations:
1Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              
2External Organizations, ou_persistent22              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20152015
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: AlthausATVA2015
DOI: 10.1007/978-3-319-24953-7_5
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 13th International Symposium on Automated Technology for Verification and Analysis
Veranstaltungsort: Shanghai, China
Start-/Enddatum: 2015-10-12 - 2015-10-15

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Automated Technology for Verification and Analysis
  Kurztitel : ATVA 2015
  Untertitel : 13th International Symposium, ATVA 2015 ; Shanghai, China, October 12-15, 2015 ; Proceedings
Genre der Quelle: Konferenzband
 Urheber:
Finkbeiner, Bernd1, Herausgeber
Pu, Geguang1, Herausgeber
Zhang, Lijun1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 48 - 63 Identifikator: ISBN: 978-3-319-24952-0

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer SCience
  Kurztitel : LNCS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 9364 Artikelnummer: - Start- / Endseite: - Identifikator: -