Wuwei Shen, Weng Liong Low. Using Abstract State Machines to Support UML Model Instantiation Checking. In Peter Kokol, editor, IASTED International Conference on Software Engineering, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005. pages 100-105, IASTED/ACTA Press, 2005.
Abstract is missing.