Institute of Computing Technology, Chinese Academy IR
分面浏览：资助项目 |
| 当前检索式 | ((ALL：Model checking)) |
| 限定条件 | ((出处：IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS) AND (资助项目：Hi-Tech Research and Development Program of China (863)[2009AA01Z126]) AND (文献类型：期刊论文) AND (专题：中国科学院计算技术研究所)) |
| Hi-Tech Research and 1 | National Basic Resea 1 | National Natural Sci 1 |
| National Natural Sci 1 | National Natural Sci 1 | National Natural Sci 1 |
