Institute of Computing Technology, Chinese Academy IR
分面浏览:作者 |
当前检索式 | ((ALL:Model checking)) |
限定条件 | ((收录类别:SCI) AND (作者:Lu, Yung-Hsiang) AND (语种:英语) AND (资助项目:Chinese National Basic Research Grant[2011CB302504]) AND (资助项目:National Science Foundation[CNS-0716271]) AND (资助项目:National Science Foundation[CNS-075110])) |
Bagchi, Saurabh 1 | Feng, Xiaobing 1 | Li, Feng 1 |
Li, Zhiyuan 1 | Lu, Yung-Hsiang 1 | Wang, Man 1 |