Verification Support for Workflow Design With UML Activity Graphs

doi 10.1145/581339.581362
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press