stratifying winning positions in parity games

	stratifying winning positions in parity games
	Lin Huimin
	2008
会议名称	29th International Conference on Applications and Theory of Petri Nets
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	9-11
会议日期	JUN 23-27,
会议地点	Xian, PEOPLES R CHINA
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	APPLICATIONS AND THEORY OF PETRI NETS
ISSN	0302-9743
ISBN	978-3-540-68745-0
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100864, Peoples R China.
摘要	No abstract available
主办者	Inst Comp Theory & Technol, Xidian Univ
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10568
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Lin Huimin. stratifying winning positions in parity games[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:APPLICATIONS AND THEORY OF PETRI NETS,2008:9-11.