A Configurable CEGAR Framework with Interpolation-Based Refinements
  • Metaadatok
Tartalom: http://real.mtak.hu/46057/
Archívum: MTA Könyvtár
Gyűjtemény: Status = Published

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
Kiadó:
Springer International Publishing
Dátum:
2016
Téma:
QC Physics / fizika
Nyelv:
angol
Típus:
Book Section
NonPeerReviewed
info:eu-repo/semantics/bookPart
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:
MTMT:3069540; doi:10.1007/978-3-319-39570-8_11