A Formal Approach and its Tool Support for the Specification and the Verification of Structural Properties on UML Activity Diagrams.

Amel Mammar A Formal Approach and its Tool Support for the Specification and the Verification of Structural Properties on UML Activity Diagrams. 988-994 2006 conf/serp/2006-2 Software Engineering Research and Practice db/conf/serp/serp2006-2.html#Mammar06