@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},
}