Conference paper Open Access

Exploratory Analysis of the Performance of a Configurable CEGAR Framework

Hajdu, Ákos; Micskei, Zoltán


BibTeX Export

@inproceedings{hajdu_akos_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}},
  address      = {Budapest, Hungary},
  month        = jan,
  venue        = {Budapest, Hungary},
  doi          = {10.5281/zenodo.291895},
  url          = {https://doi.org/10.5281/zenodo.291895}
}
67
27
views
downloads
All versions This version
Views 6767
Downloads 2727
Data volume 7.4 MB7.4 MB
Unique views 6767
Unique downloads 2727

Share

Cite as