Wenhui Zhang. Combining Static Analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model Checking. J. Comput. Sci. Technol., 18(6):762-770, 2003. [doi]
@article{Zhang03:15,
title = {Combining Static Analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model Checking},
author = {Wenhui Zhang},
year = {2003},
url = {http://jcst.ict.ac.cn/cone/cone36.html#paper10},
tags = {model checking, meta-model, analysis, static analysis, Meta-Environment, search, partitioning},
researchr = {https://researchr.org/publication/Zhang03%3A15},
cites = {0},
citedby = {0},
journal = {J. Comput. Sci. Technol.},
volume = {18},
number = {6},
pages = {762-770},
}