model checking real-time value-passing systems

ISCAS OpenIR

	model checking real-time value-passing systems
	Chen J; Cao ZN
	2004
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	19 期号:4 页码:459-471
收录类别	sci ; acm
关键词	Model Checking Real-time Value-passing Timed Predicate Mu-calculus
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. Univ Orleans, Lab Informat Fondamentale Orleans, F-45067 Orleans 2, France.
学科领域	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
语种	英语
WOS记录号	WOS:000222789900003
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12910
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Chen J,Cao ZN. model checking real-time value-passing systems[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2004,19(4):459-471.
APA	Chen J,&Cao ZN.(2004).model checking real-time value-passing systems.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,19(4),459-471.
MLA	Chen J,et al."model checking real-time value-passing systems".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 19.4(2004):459-471.