Institute of Computing Technology, Chinese Academy IR
分面浏览：作者 |
| 当前检索式 | ((ALL：Bounded model checking (BMC))) |
| 限定条件 | ((作者：Zhang, Ying分Zhang, Ying)) |
| Peng, Zebo 2 | Zhang, Ying 2 | Chakrabarty, Krishne 1 |
| Eles, Petru 1 | Ji, Peng-Fei 1 | Jiang, Jian-Hui 1 |
| Jiang, Jianhui 1 | Li, Hua-Wei 1 | Li, Huawei 1 |
| Rezine, Ahmed 1 | Zhu, Pan-Wei 1 |
