ASM Semantic Modeling and Checking for Sequence Diagram - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Xiang Zhou' in GoogleThis author has not been identified. Look up 'Zhi-qing Shao' in Google

runs on WebDSL