KMS Of Academy of mathematics and systems sciences, CAS
分面浏览：资助项目 |
| 当前检索式 | ((ALL：model checking)) |
| 限定条件 | ((发表日期：2019) AND (资助项目：CEGR grant of the Research Grants Council of Hong Kong[HKBU 12302615]) AND (作者：2s8okbnm-000084)) |
| CEGR grant of the Re 1 | CEGR grant of the Re 1 | FRG grants from Hong 1 |
| National Natural Sci 1 | National Natural Sci 1 | Natural Science Foun 1 |
| State Key Program in 1 | State Key Program of 1 |
