Jianhua Zhao, Linzhang Wang, Xuandong Li. A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Volume 17 of Communications in Computer and Information Science, pages 262-276, Springer, 2008. [doi]
@inproceedings{ZhaoWL08,
title = {A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking},
author = {Jianhua Zhao and Linzhang Wang and Xuandong Li},
year = {2008},
doi = {10.1007/978-3-540-88479-8_19},
url = {http://dx.doi.org/10.1007/978-3-540-88479-8_19},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/ZhaoWL08},
cites = {0},
citedby = {0},
pages = {262-276},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings},
editor = {Tiziana Margaria and Bernhard Steffen},
volume = {17},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-540-88478-1},
}