automatic generation of symbolic model for parameterized synchronous     systems

ISCAS OpenIR

	automatic generation of symbolic model for parameterized synchronous systems
	Xu WW
	2004
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	19 期号:6 页码:812-819
收录类别	sci ; acm
关键词	Parameterized System Formal Verification Symbolic Representation
部门归属	Shanghai Jiao Tong Univ, Dept Comp Engn & Sci, Shanghai 200030, Peoples R China. Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
学科领域	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
语种	英语
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12922
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Xu WW. automatic generation of symbolic model for parameterized synchronous systems[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2004,19(6):812-819.
APA	Xu WW.(2004).automatic generation of symbolic model for parameterized synchronous systems.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,19(6),812-819.
MLA	Xu WW."automatic generation of symbolic model for parameterized synchronous systems".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 19.6(2004):812-819.