| 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.
|
|
|
