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
|
Text
forte16_cegar_author_pdfa_u.pdf Download (428kB) | Preview |
| Item Type: | Book Section |
|---|---|
| Subjects: | Q Science / természettudomány > QC Physics / fizika |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 19 Jan 2017 11:27 |
| Last Modified: | 19 Jan 2017 11:27 |
| URI: | http://real.mtak.hu/id/eprint/46057 |
Actions (login required)
 |
Edit Item |
