Institute of Computing Technology, Chinese Academy IR
分面浏览：作者 |
| 当前检索式 | ((ALL：Bounded model checking (BMC))) |
| 限定条件 | ((作者：Li, Huawei) AND (发表日期：2020) AND (专题：中国科学院计算技术研究所期刊论文)) |
| Chakrabarty, Krishne 1 | Eles, Petru 1 | Jiang, Jianhui 1 |
| Li, Huawei 1 | Peng, Zebo 1 | Rezine, Ahmed 1 |
| Zhang, Ying 1 |
