Supplementary Report for the paper "A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework" (Q6695681)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Supplementary Report for the paper "A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework" |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Supplementary Report for the paper "A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework" |
Dataset published at Zenodo repository. |
Statements
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.
0 references
29 January 2018
0 references
1.1.0
0 references
