Zhi Zhang, Qingkai Zeng, Ming Huang. Some Improvements for More Precise Model Checking. In Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010. pages 106-112, Knowledge Systems Institute Graduate School, 2010.
@inproceedings{ZhangZH10-0,
title = {Some Improvements for More Precise Model Checking},
author = {Zhi Zhang and Qingkai Zeng and Ming Huang},
year = {2010},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/ZhangZH10-0},
cites = {0},
citedby = {0},
pages = {106-112},
booktitle = {Proceedings of the 22nd International Conference on Software Engineering \& Knowledge Engineering (SEKE 2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010},
publisher = {Knowledge Systems Institute Graduate School},
isbn = {1-891706-26-8},
}