@inproceedings{hajdu_2017_291895, author = {Hajdu, Ákos and Micskei, Zoltán}, title = {{Exploratory Analysis of the Performance of a Configurable CEGAR Framework}}, booktitle = {Proceedings of the 24th PhD Mini-Symposium}, year = 2017, pages = {34-37}, publisher = {{Budapest University of Technology and Economics, Department of Measurement and Information Systems}}, month = mar, venue = {Budapest, Hungary}, doi = {10.5281/zenodo.291895}, url = {https://doi.org/10.5281/zenodo.291895} }