Institute of Computing Technology, Chinese Academy IR
分面浏览:作者 |
当前检索式 | ((ALL:Bounded model checking (BMC))) |
限定条件 | ((作者:Jiang, Jian-Hui) AND (作者:Li, Hua-Wei) AND (作者:Zhang, Ying) AND (发表日期:2023) AND (资助项目:National Natural Science Foundation of China (NSFC)[61974105]) AND (资助项目:Zhejiang Lab[2021KC0AB01])) |
Ji, Peng-Fei 1 | Jiang, Jian-Hui 1 | Li, Hua-Wei 1 |
Peng, Zebo 1 | Zhang, Ying 1 | Zhu, Pan-Wei 1 |