A Configurable CEGAR Framework with Interpolation-Based Refinements
  • Metaadatok
Tartalom: http://real.mtak.hu/46057/
Archívum: REAL
Gyűjtemény: Status = Published
Subject = Q Science / természettudomány: QC Physics / fizika
Type = Book Section
Cím:
A Configurable CEGAR Framework with Interpolation-Based Refinements
Létrehozó:
Hajdu, Ákos
Tóth, Tamás
Vörös, András
Majzik, István
Közreműködő:
Albert, Elvira
Lanese, Elvira
Dátum:
2016
Téma:
QC Physics / fizika
Típus:
Book Section
NonPeerReviewed
Formátum:
text
Azonosító:
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
Kapcsolat: