Hits:
Affiliation of Participant(s):西南大学
Supported by:国家自然科学青年基金
Date of Project Approval:2022-01-01
Subsidy Amount(ten thousand yuan):30.0
Next One:基于动态逻辑的同步模型验证方法研究
