Institute of Computing Technology, Chinese Academy IR
分面浏览:资助项目 |
当前检索式 | ((ALL:Model checking)) |
限定条件 | ((出处:IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS) AND (发表日期:2011) 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 |