File Name/ File Size |
Content Type |
Version |
Access |
License |
|
Combining+Static+Analysis+and+Case-Based+Search+Space+Partitioning+for+Reducing+Peak+Memory+in+Model+Checking.pdf(494KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
Zhang WH. combining static analysis and case-based search space partitioning for reducing peak memory in model checking[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2003-01-01,18(6):762-770.
|
|
|