Tóth, Tamás and Hajdu, Ákos and Vörös, András and Micskei, Zoltán Imre and Majzik, István (2017) Theta: a Framework for Abstraction Refinement-Based Model Checking. In: Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design. FMCAD Inc., Bécs, pp. 176-179. ISBN 978-0-9835678-7-5
|
Text
fmcad2017_author_pdfa.pdf Download (329kB) | Preview |
| Item Type: | Book Section |
|---|---|
| Subjects: | Q Science / természettudomány > QC Physics / fizika |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 06 Feb 2018 11:43 |
| Last Modified: | 11 Oct 2018 14:07 |
| URI: | http://real.mtak.hu/id/eprint/73988 |
Actions (login required)
 |
Edit Item |
