Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis
- Simon Moser
- Axel Martens
- et al.
- 2007
- SCC 2007
Publications
Date
Featured collections
Popular topics
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