model checking real-time value-passing systems

ISCAS OpenIR

	model checking real-time value-passing systems
	Chen J; Cao ZN
	2004
Source	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
Volume	19 Issue:4 Pages:459-471
Indexed Type	sci ; acm
Keyword	Model Checking Real-time Value-passing Timed Predicate Mu-calculus
Department	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. Univ Orleans, Lab Informat Fondamentale Orleans, F-45067 Orleans 2, France.
Subject	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
Language	英语
WOS ID	WOS:000222789900003
Citation statistics
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/12910
Collection	中国科学院软件研究所
Recommended Citation 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.

Related Services

Bookmark

Google Scholar

Similar articles in Bing Scholar

Terms of Use

No data!

Social Bookmark/Share

All comments (0)

No comment.

The comment function is only available to registered usersLog In

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库