Xiang Zhou, Zhi-qing Shao. ASM Semantic Modeling and Checking for Sequence Diagram. In Haiying Wang, Kay-Soon Low, Kexin Wei, Junqing Sun, editors, Fifth International Conference on Natural Computation, ICNC 2009, Tianjian, China, 14-16 August 2009, 6 Volumes. pages 527-530, IEEE Computer Society, 2009. [doi]
Abstract is missing.