Using Transition Systems to Unify UML Models

Zhiming Liu, Xiaoshan Li, Jifeng He. Using Transition Systems to Unify UML Models. In Chris George, Huaikou Miao, editors, Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings. Volume 2495 of Lecture Notes in Computer Science, pages 535-547, Springer, 2002. [doi]

Authors

Zhiming Liu

This author has not been identified. Look up 'Zhiming Liu' in Google

Xiaoshan Li

This author has not been identified. Look up 'Xiaoshan Li' in Google

Jifeng He

This author has not been identified. Look up 'Jifeng He' in Google