Vahid Rafe, Adel Torkaman Rahmani. Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems. In John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün, editors, Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Volume 5160 of Lecture Notes in Computer Science, pages 305-318, Springer, 2008. [doi]
Abstract is missing.