Wolfram Amme, Axel Martens, Simon Moser. Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. IJBPIM, 4(1):47-59, 2009. [doi]
@article{AmmeMM09,
title = {Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis},
author = {Wolfram Amme and Axel Martens and Simon Moser},
year = {2009},
doi = {10.1504/IJBPIM.2009.026985},
url = {http://dx.doi.org/10.1504/IJBPIM.2009.026985},
researchr = {https://researchr.org/publication/AmmeMM09},
cites = {0},
citedby = {0},
journal = {IJBPIM},
volume = {4},
number = {1},
pages = {47-59},
}