KMS Of Academy of mathematics and systems sciences, CAS
分面浏览：出处 |
| 当前检索式 | ((ALL：model checking)) |
| 限定条件 | ((资助项目：Key Laboratory of RCSDS, CAS[2008DP173182]) AND (文献类型：期刊论文)) |
| ACTA MATHEMATICAE AP 1 | BIOMETRICS 1 | JOURNAL OF STATISTIC 1 |
| LIFETIME DATA ANALYS 1 | STATISTICS AND ITS I 1 | STATISTICS IN MEDICI 1 |
