Article citationsMore>>

X. Than, H. Miao and L. Liu, “Formalizing Semantics of UML Statecharts with Z,” Proceedings of 4th International Conference on Computer & Information Technology, Wuhan, 14-16 September 2004, pp. 1116-1121. doi:10.1109/ CIT.2004.1357344

has been cited by the following article: