Supplementary Report for the paper "A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework"
From MaRDI portal
(Redirected from Dataset:6695681)
DOI10.5281/zenodo.1158043Zenodo1158043MaRDI QIDQ6695681FDOQ6695681
Dataset published at Zenodo repository.
Publication date: 29 January 2018
Copyright license: Creative Commons Attribution 4.0 International
A supplementary report for the paper A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework by Ákos Hajdu and Zoltn Micskei, presented at the 25th PhD Mini-Symposium (2018), organized by the Department of Measurement and Information Systems at the Budapest University of Technology and Economics.
This page was built for dataset: Supplementary Report for the paper "A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework"
