| 引用本文: |
王国卿, 庄雷, 和孟佯, 宋玉, 马岭. 实时模型检测精确加速窗口的计算原理及算法[J]. 计算机研究与发展, 2020, 57(1): 214-226. doi: 10.7544/issn1000-1239.2020.20190052
|
| Citation: |
Wang Guoqing, Zhuang Lei, He Mengyang, Song Yu, Ma Ling. Calculation Principle and Algorithm for the Window of Exact Acceleration in Real-Time Model Checking[J]. Journal of Computer Research and Development, 2020, 57(1): 214-226. doi: 10.7544/issn1000-1239.2020.20190052
|
下载: