Publications

Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis

• • Simon Moser
  • Axel Martens
  • et al.
• 2007
• SCC 2007