中文版 | English
CSpace

分面浏览：资助项目

当前检索式 ((ALL：model checking))
限定条件 ((发表日期：2011) AND (资助项目：National Natural Science Foundation of China[10731010]) AND (专题：应用数学研究所))
共10条，第1-10条
Key Laboratory of RC 4 National Basic Resea 4 National Natural Sci 4
National Natural Sci 4 National Natural Sci 3 AMSS-PolyU Joint Res 1
Hong Kong Special Ad 1 Macquarie University 1 National Natural Sci 1
Research Grant Counc 1