Tu Peng, Gangyi Ding. Formal specification and automated verification of UML2.0 sequence diagrams. In Tsau Young Lin, Xiaohua Hu, Zhaohui Wu, Arbee L. P. Chen, Andrei Z. Broder, Howard Ho, Shuliang Wang, editors, 2012 IEEE International Conference on Granular Computing, GrC 2012, Hangzhou, China, August 11-13, 2012. pages 370-375, IEEE Computer Society, 2012. [doi]
Abstract is missing.