[IEEE IEEE International Conference on Services Computing (SCC 2007) - Salt Lake City, UT, USA (2007.07.9-2007.07.13)] IEEE International Conference on Services Computing (SCC 2007) - Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis
Moser, Simon, Martens, Axel, Gorlach, Katharina, Amme, Wolfram, Godlinski, ArturYear:
2007
Language:
english
DOI:
10.1109/scc.2007.22
File:
PDF, 362 KB
english, 2007