Radu Mateescu, Sylvain Rampacek. Formal modelling and discrete-time analysis of BPEL web services. IJSPM, 4(3/4):183-194, 2008. [doi]
@article{MateescuR08-0,
title = {Formal modelling and discrete-time analysis of BPEL web services},
author = {Radu Mateescu and Sylvain Rampacek},
year = {2008},
doi = {10.1504/IJSPM.2008.023680},
url = {http://dx.doi.org/10.1504/IJSPM.2008.023680},
researchr = {https://researchr.org/publication/MateescuR08-0},
cites = {0},
citedby = {0},
journal = {IJSPM},
volume = {4},
number = {3/4},
pages = {183-194},
}