KMS Of Academy of mathematics and systems sciences, CAS
分面浏览:资助项目 |
当前检索式 | ((ALL:model checking)) |
限定条件 | ((出处:ACTA MATHEMATICAE APPLICATAE SINICA-ENGLISH SERIES) AND (发表日期:2017) AND (语种:英语) AND (资助项目:Capital University of Economics and Business[00591654490336]) AND (资助项目:Key Laboratory of RCSDS, CAS[2008DP173182]) AND (资助项目:National Natural Science Foundation of China[11021161]) AND (资助项目:National Natural Science Foundation of China[11171330]) AND (专题:应用数学研究所)) |