Institute of Computing Technology, Chinese Academy IR
分面浏览：作者 |
| 当前检索式 | ((ALL：Abstraction-guided simulation)) |
| 限定条件 | ((作者：Li, Huawei) AND (作者：Lv, Tao) AND (作者：Wang, Tiancheng) AND (发表日期：2016) AND (专题：中国科学院计算技术研究所期刊论文)) |
| Li, Huawei 2 | Li, Xiaowei 2 | Lv, Tao 2 |
| Wang, Tiancheng 2 | Kundu, Sandip 1 | Wang, Jian 1 |
| Zhou, Yanhong 1 |
