ISCAS OpenIR
model checking real-time value-passing systems
Chen J; Cao ZN
2004
SourceJOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN1000-9000
Volume19Issue:4Pages:459-471
Indexed Typesci ; acm
KeywordModel Checking Real-time Value-passing Timed Predicate Mu-calculus
DepartmentChinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. Univ Orleans, Lab Informat Fondamentale Orleans, F-45067 Orleans 2, France.
SubjectComputer Science, Hardware & Architecture ; Computer Science, Software Engineering
Language英语
WOS IDWOS:000222789900003
Citation statistics
Content Type期刊论文
URIhttp://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.
Files in This Item:
File Name/Size DocType Version Access License
1943.pdf(735KB) 开放获取--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Chen J]'s Articles
[Cao ZN]'s Articles
Baidu academic
Similar articles in Baidu academic
[Chen J]'s Articles
[Cao ZN]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Chen J]'s Articles
[Cao ZN]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.