A Configurable CEGAR Framework with Interpolation-Based Refinements
  • Metadata
Content: http://real.mtak.hu/46057/
Archive: REAL
Set: Status = Published
Subject = Q Science / természettudomány: QC Physics / fizika
Type = Book Section
Title:
A Configurable CEGAR Framework with Interpolation-Based Refinements
Creator:
Hajdu, Ákos
Tóth, Tamás
Vörös, András
Majzik, István
Contributor:
Albert, Elvira
Lanese, Elvira
Date:
2016
Subject:
QC Physics / fizika
Type:
Book Section
NonPeerReviewed
Format:
text
Identifier:
Hajdu, Ákos and Tóth, Tamás and Vörös, András and Majzik, István (2016) A Configurable CEGAR Framework with Interpolation-Based Refinements. In: Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science (9688). Springer International Publishing, [s. l.], pp. 158-174. ISBN 978-3-319-39570-8
Relation: