External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Simple interpolants for linear arithmetic

Christoph Scholl, Florian Pigorsch, Stefan Disch, Ernst Althaus. Simple interpolants for linear arithmetic. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014. pages 1-6, IEEE, 2014. [doi]

Authors

Christoph Scholl

This author has not been identified. Look up 'Christoph Scholl' in Google

Florian Pigorsch

This author has not been identified. Look up 'Florian Pigorsch' in Google

Stefan Disch

This author has not been identified. Look up 'Stefan Disch' in Google

Ernst Althaus

This author has not been identified. Look up 'Ernst Althaus' in Google
runs on