Institute of Computing Technology, Chinese Academy IR
分面浏览:作者 |
当前检索式 | ((ALL:Bounded model checking (BMC))) |
限定条件 | ((作者:Zhang, Ying分Zhang, Ying) AND (资助项目:Duke University) AND (资助项目:National Natural Science Foundation of China[61432017]) AND (资助项目:National Natural Science Foundation of China[61876173])) |
Chakrabarty, Krishne 1 | Eles, Petru 1 | Jiang, Jianhui 1 |
Li, Huawei 1 | Peng, Zebo 1 | Rezine, Ahmed 1 |
Zhang, Ying 1 |