Yu Zhou, JiDong Ge, Pengcheng Zhang. Hierarchical timed automata based verification of dynamic evolution process in open environments. In He Zhang, LiGuo Huang, Ita Richardson, editors, International Conference on Software and Systems Process 2014, ICSSP '14, Nanjing, China - May 26 - 28, 2014. pages 144-148, ACM, 2014. [doi]
@inproceedings{ZhouGZ14,
title = {Hierarchical timed automata based verification of dynamic evolution process in open environments},
author = {Yu Zhou and JiDong Ge and Pengcheng Zhang},
year = {2014},
doi = {10.1145/2600821.2600838},
url = {http://doi.acm.org/10.1145/2600821.2600838},
researchr = {https://researchr.org/publication/ZhouGZ14},
cites = {0},
citedby = {0},
pages = {144-148},
booktitle = {International Conference on Software and Systems Process 2014, ICSSP '14, Nanjing, China - May 26 - 28, 2014},
editor = {He Zhang and LiGuo Huang and Ita Richardson},
publisher = {ACM},
isbn = {978-1-4503-2754-1},
}