Publications

2 results for Wolfram Amme

Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis
- - Wolfram Amme
  - Axel Martens
  - et al.
- 2009
- International Journal of Business Process Integration and Management
Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis
- - Simon Moser
  - Axel Martens
  - et al.
- 2007
- SCC 2007