Improved Algorithm of Global Model-Checking for Propositional mu-Calculus (CPCI-S收录) | |
Jiang, Hua[1]; Xi, Jian-Qing[1] | |
会议名称 | INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY, PTS 1-4 |
关键词 | Model Checking mu-Calculus Computational complexity NP boolean AND co-NP problem |
URL标识 | 查看原文 |
内容类型 | 会议论文 |
URI标识 | http://www.corc.org.cn/handle/1471x/2050984 |
专题 | 华南理工大学 |
作者单位 | S China Univ Technol, Sch Comp Sci & Engn, Guangzhou 510640, Guangdong, Peoples R China |
推荐引用方式 GB/T 7714 | Jiang, Hua[1],Xi, Jian-Qing[1]. Improved Algorithm of Global Model-Checking for Propositional mu-Calculus (CPCI-S收录)[C]. 见:INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY, PTS 1-4. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论