Jinzhao Wu, Wei Yan. Model Checking of Computer-Based Systems. In 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA. pages 557-568, IEEE Computer Society, 2007. [doi]
@inproceedings{WuY07:6,
title = {Model Checking of Computer-Based Systems},
author = {Jinzhao Wu and Wei Yan},
year = {2007},
doi = {10.1109/ECBS.2007.49},
url = {http://dx.doi.org/10.1109/ECBS.2007.49},
tags = {rule-based, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/WuY07%3A6},
cites = {0},
citedby = {0},
pages = {557-568},
booktitle = {14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2772-8},
}