by Hatem Hadj Kacem, Wael Sellami, Ahmed Hadj Kacem
Reference:
Hatem Hadj Kacem, Wael Sellami, Ahmed Hadj Kacem, A Formal Approach for the Validation of Web Service Orchestrations, In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012.
Bibtex Entry:
@inproceedings{HHK2012WETICE-1,
author = {Hatem Hadj Kacem and Wael Sellami and Ahmed Hadj Kacem},
title = {{A Formal Approach for the Validation of Web Service Orchestrations}},
booktitle = {In 21nd IEEE International Conference on Collaboration
Technologies and Infrastructures (WETICE'2012),
Toulouse, France June 25-27},
year = {2012},
pages = {42-47},
}