Institute of Computing Technology, Chinese Academy IR
分面浏览：作者 |
| 当前检索式 | ((ALL：Bounded model checking (BMC))) |
| 限定条件 | ((出处：JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY)) |
| Ji, Peng-Fei 1 | Jiang, Jian-Hui 1 | Li, Hua-Wei 1 |
| Peng, Zebo 1 | Zhang, Ying 1 | Zhu, Pan-Wei 1 |
