Institutional Repository
| automatic generation of symbolic model for parameterized synchronous systems | |
Xu WW
| |
| 2004 | |
| Source | JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
 |
| ISSN | 1000-9000 |
| Volume | 19Issue:6Pages:812-819 |
| Indexed Type | sci ; acm |
| Keyword | Parameterized System Formal Verification Symbolic Representation |
| Department | 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. |
| Subject | Computer Science, Hardware & Architecture ; Computer Science, Software Engineering |
| Language | 英语 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12922 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 19612.pdf（688KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment