Lina Chen, Yu Zhang, Jianmin Zhao. Verification Approach of Statechart Models based on Property Statechart. In José Braz, Sebastiano Battiato, Francisco H. Imai, editors, VISAPP 2015 - Proceedings of the 10th International Conference on Computer Vision Theory and Applications, Volume 1, Berlin, Germany, 11-14 March, 2015. pages 23-29, SciTePress, 2015.
@inproceedings{ChenZZ15-1,
title = {Verification Approach of Statechart Models based on Property Statechart},
author = {Lina Chen and Yu Zhang and Jianmin Zhao},
year = {2015},
researchr = {https://researchr.org/publication/ChenZZ15-1},
cites = {0},
citedby = {0},
pages = {23-29},
booktitle = {VISAPP 2015 - Proceedings of the 10th International Conference on Computer Vision Theory and Applications, Volume 1, Berlin, Germany, 11-14 March, 2015},
editor = {José Braz and Sebastiano Battiato and Francisco H. Imai},
publisher = {SciTePress},
isbn = {978-989-758-089-5},
}