Verification support for workflow design with UML activity graphs

Rik Eshuis, Roel Wieringa. Verification support for workflow design with UML activity graphs. In Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA. pages 166-176, ACM, 2002. [doi]

Authors

Rik Eshuis

This author has not been identified. It may be one of the following persons: Look up 'Rik Eshuis' in Google

Roel Wieringa

Identified as Roel Wieringa