Institute of Computing Technology, Chinese Academy IR
分面浏览：作者 |
| 当前检索式 | ((ALL：Model checking)) |
| 限定条件 | ((作者：Bagchi, Saurabh) AND (作者：Li, Zhiyuan) AND (作者：Lu, Yung-Hsiang) AND (语种：英语) AND (资助项目：Chinese National Science and Technology Major Project[2009ZX01036-001-002]) AND (资助项目：Foundation for Innovative Research Groups of the National Natural Science Foundation of China[90412010])) |
| Bagchi, Saurabh 1 | Feng, Xiaobing 1 | Li, Feng 1 |
| Li, Zhiyuan 1 | Lu, Yung-Hsiang 1 | Wang, Man 1 |
