广义可能线性时序逻辑的自动机方法
Publisher: 国家哲学社会科学学术期刊数据库
E-ISSN: 1671-1785|31|6|1-6
ISSN: 1671-1785
Source: 内江师范学院学报, Vol.31, Iss.6, 2016-01, pp. : 1-6
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract