the complexity of dual models problem of propositional linear temporal logics

	the complexity of dual models problem of propositional linear temporal logics
	Wu Zhi-Lin; Zhang Wen-Hui
	2007
发表期刊	Ruan Jian Xue Bao/Journal of Software
ISSN	10009825
卷号	18 期号:7 页码:1573-1581
收录类别	EI
关键词	Computational Complexity Mathematical Operators Model Checking
部门归属	(1) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China
语种	中文
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11412
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Wu Zhi-Lin,Zhang Wen-Hui. the complexity of dual models problem of propositional linear temporal logics[J]. Ruan Jian Xue Bao/Journal of Software,2007,18(7):1573-1581.
APA	Wu Zhi-Lin,&Zhang Wen-Hui.(2007).the complexity of dual models problem of propositional linear temporal logics.Ruan Jian Xue Bao/Journal of Software,18(7),1573-1581.
MLA	Wu Zhi-Lin,et al."the complexity of dual models problem of propositional linear temporal logics".Ruan Jian Xue Bao/Journal of Software 18.7(2007):1573-1581.