probabilistic model checking on propositional projection temporal logic

	probabilistic model checking on propositional projection temporal logic
	Yang Xiaoxiao
	2011
会议名称	International MultiConference of Engineers and Computer Scientists 2011, IMECS 2011
会议日期	March 16,
会议地点	Kowloon, Hong kong
关键词	Algorithms Computer hardware Computer science Engineers Markov processes Probabilistic logics Temporal logic
页码	242-248
收录类别	EI
会议主办者	IAENG Society of Artificial Intelligence; IAENG Society of Bioinformatics; IAENG Society of Computer Science; IAENG Society of Data Mining; IAENG Society of Electrical Engineering
会议录	IMECS 2011 - International MultiConference of Engineers and Computer Scientists 2011
会议录出版地	Hong Kong
ISBN号	9789881821034
内容类型	会议论文
源URL	[http://ir.iscas.ac.cn/handle/311060/14247]
专题	软件研究所_计算机科学国家重点实验室 _会议论文
推荐引用方式 GB/T 7714	Yang Xiaoxiao. probabilistic model checking on propositional projection temporal logic[C]. 见:International MultiConference of Engineers and Computer Scientists 2011, IMECS 2011. Kowloon, Hong kong. March 16,.