广义可能线性时序逻辑的自动机方法

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.

Previous Menu Next

Abstract