by Wael SELLAMI, Hatem Hadj Kacem, Ahmed Hadj Kacem
Reference:
Wael SELLAMI, Hatem Hadj Kacem, Ahmed Hadj Kacem, BPELVT: A tool for formal 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-3,
author = {Wael SELLAMI and Hatem Hadj Kacem and Ahmed Hadj Kacem},
title = {BPELVT: A tool for formal 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 = {426-428},
}