Show simple item record

Hajdu, Ákos
Micskei, Zoltán
2021-04-19T09:41:46Z
2021-04-19T09:41:46Z
2018
http://hdl.handle.net/10890/15235
en
A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework
könyvfejezet
Published
Open access
Faculty of Electrical Engineering and Informatics
2018.01.29
Budapest
Department of Measurement and Information Systems
Budapest University of Technology and Economics
2018
Budapest University of Technology and Economics
2018
Proceedings of the 25th Minisymposium
Konferenciacikk
25th Mini-Symposium
32
35


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record