Hajdu, Ákos and Micskei, Zoltán Imre (2017) Exploratory Analysis of the Performance of a Configurable CEGAR Framework. In: Proceedings of the 24th PhD Mini-Symposium. BME MIT, Budapest, pp. 34-37. ISBN 978-963-313-243-2
|
Text
minisy2017.pdf Download (304kB) | Preview |
| Item Type: | Book Section |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 31 Jul 2017 12:45 |
| Last Modified: | 31 Jul 2017 12:45 |
| URI: | http://real.mtak.hu/id/eprint/57633 |
Actions (login required)
 |
Edit Item |
