Model Checking in Large-Scale Dataset via Structure-Adaptive-Sampling
Model Checking in Large-Scale Dataset via Structure-Adaptive-Sampling
复制标题
通过结构自适应采样对大规模数据集进行模型检查
DOI：
10.5705/ss.202020.0303
复制
发表时间：
2023
影响因子：
1.4
通讯作者：
Wang, Zhaojun
中科院分区：
文献类型：
--
作者：
Han, Yixin;Ma, Ping;Ren, Haojie;Wang, Zhaojun
