Supplementary Report For The Paper "Efficient Strategies For Cegar-Based Model Checking"
收藏数据链接：
官方服务：
资源简介：
A supplementary report for the paper "Efficient Strategies for CEGAR-based Model Checking" by Akos Hajdu and Zoltan Micskei, including the raw data, the R script and a detailed report (in pdf and html formats).
提供机构：
Zenodo创建时间：
2018-05-25
