中文版 | English
CSpace

分面浏览：资助项目

当前检索式 ((ALL：model checking))
限定条件 ((作者：2s8okbnm-000080) AND (专题：应用数学研究所))
共49条，第1-20条
Key Laboratory of RC 6 National Natural Sci 6 National Natural Sci 5
National Basic Resea 4 National Natural Sci 4 Chinese University o 2
Foundation of Shenzh 2 National Basic Resea 2 National Natural Sci 2
National Natural Sci 2 National Natural Sci 2 AMSS-PolyU Joint Res 1
Canadian Institute o 1 Capital University o 1 Direct Grants of Chi 1
Fundamental Research 1 GRF from the Researc 1 GRF from the Researc 1
Hong Kong Special Ad 1 Key Laboratory of Ra 1