| |
| 2007 | ||
|---|---|---|
| 1 | EE | Simon Moser, Axel Martens, Katharina Gorlach, Wolfram Amme, Artur Godlinski: Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. IEEE SCC 2007: 98-105 |
| 1 | Wolfram Amme | [1] |
| 2 | Artur Godlinski | [1] |
| 3 | Axel Martens | [1] |
| 4 | Simon Moser | [1] |