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.
Abstract is missing.