by Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
Reference:
Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, A Formal Approach for the Validation of Web Service Orchestrations, In International Journal of Web Portals (IJWP), volume 5, 2013.
Bibtex Entry:
@article{SellamiKK13,
author = {Wael Sellami and
Hatem Hadj Kacem and
Ahmed Hadj Kacem},
title = {{A Formal Approach for the Validation of Web Service Orchestrations}},
journal = {International Journal of Web Portals (IJWP)},
volume = {5},
number = {1},
year = {2013},
pages = {41-54},
doi = {10.4018/jwp.2013010104},
}