命题线性时序逻辑的对偶模型问题的复杂性

---

Autoria(s): 吴志林; 张文辉

Data(s)	2007
Identificador	http://ir.iscas.ac.cn/handle/311060/4656 http://www.irgrid.ac.cn/handle/1471x/66988
Fonte	吴志林; 张文辉.命题线性时序逻辑的对偶模型问题的复杂性,软件学报,2007,18(7):
Palavras-Chave	#命题线性时序逻辑 #对偶模型 #计算复杂性 #propositionallineartemporallogic #dualmodel #computationalcomplexity
Tipo	期刊论文