Business Application Modeler: A process model Validation and Verification tool.

Sren Witt, Sven Feja, Andreas Speck, Christian Hadler

Browse the full RE paper archive.