  |
Items where Author is "Micskei, Zoltán"
Group by: Item Type | No Grouping Jump to: Book Section Number of items: 1. Book SectionHajdu, Ákos and Micskei, Zoltán (2018) A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework. In: Proceedings of the 25th PhD Mini-Symposium. BME MIT, Budapest, pp. 32-35. ISBN 978-963-313-285-2 |
