ISSN 1000-1239 CN 11-1777/TP
实时模型检测精确加速窗口的计算原理及算法
王国卿, 庄雷, 和孟佯, 宋玉, 马岭
Calculation Principle and Algorithm for the Window of Exact Acceleration in Real-Time Model Checking
Wang Guoqing, Zhuang Lei, He Mengyang, Song Yu, Ma Ling
计算机研究与发展 . 2020, (1): 214 -226 .  DOI: 10.7544/issn1000-1239.2020.20190052