Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Yunchou Li, Ping Yin. 模型检验在航天测控软件上的应用研究 (Research of Model Checking Application on Aerospace TT&C Software). 计算机科学, 45(6A):523-526, 2018. [doi]
Abstract is missing.