on the expressive power of qltl

ISCAS OpenIR

	on the expressive power of qltl
	Wu Zhilin
	2007
会议名称	4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007)
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	467-481
会议日期	SEP 26-28,
会议地点	Macao, PEOPLES R CHINA
收录类别	ei,istp
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	Theoretical Aspects of Computing - ICTAC 2007, Proceedings
ISSN	0302-9743
ISBN	978-3-540-75290-5
部门归属	Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100080, Peoples R China.
摘要	LTL cannot express the whole class of omega-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed by Sistla, extends LTL by quantifications over the atomic prop
关键词	Computer Operating Systems Computer Programming Languages Formal Languages Linear Programming
主办者	Formal Methods Europe, Macao Polytech Inst, United Natl Univ
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11130
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Wu Zhilin. on the expressive power of qltl[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:Theoretical Aspects of Computing - ICTAC 2007, Proceedings,2007:467-481.