Improving Interpolants for Linear Arithmetic

Althaus, Ernst; Beber, Björn; Kupilas, Joschka; Scholl, Christoph

doi:10.1007/978-3-319-24953-7_5

Local TagsRelease HistoryDetailsSummary

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 Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002A-5A54-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-5E3C-D

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Althaus, Ernst¹, Author
Beber, Björn¹, Author
Kupilas, Joschka¹, Author
Scholl, Christoph², Author

Affiliations:
1Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019
2External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2015Date issued: 2015

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: AlthausATVA2015
DOI: 10.1007/978-3-319-24953-7_5

Degree: -

Event

show

hide

Title: 13th International Symposium on Automated Technology for Verification and Analysis

Place of Event: Shanghai, China

Start-/End Date: 2015-10-12 - 2015-10-15

Legal Case

show

Project information

show

Source 1

show

hide

Title: Automated Technology for Verification and Analysis

Abbreviation : ATVA 2015

Subtitle : 13th International Symposium, ATVA 2015 ; Shanghai, China, October 12-15, 2015 ; Proceedings

Source Genre: Proceedings

Creator(s):
Finkbeiner, Bernd¹, Editor
Pu, Geguang¹, Editor
Zhang, Lijun¹, Editor

Affiliations:
1 External Organizations, ou_persistent22

Publ. Info: Berlin : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 48 - 63 Identifier: ISBN: 978-3-319-24952-0

Source 2

show

hide

Title: Lecture Notes in Computer SCience

Abbreviation : LNCS

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 9364 Sequence Number: - Start / End Page: - Identifier: -