Institute of Computing Technology, Chinese Academy IR
分面浏览:作者 |
当前检索式 | ((ALL:Model checking)) |
限定条件 | ((作者:Eles, Petru) AND (作者:Peng, Zebo) AND (语种:英语) AND (文献类型:期刊论文) AND (专题:中国科学院计算技术研究所)) |
Chakrabarty, Krishne 1 | Eles, Petru 1 | Jiang, Jianhui 1 |
Li, Huawei 1 | Peng, Zebo 1 | Rezine, Ahmed 1 |
Zhang, Ying 1 |