Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem. BpelVT: A Tool for Formal Validation of Web Service Orchestrations. In Sumitra Reddy, Khalil Drira, editors, 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2012, Toulouse, France, June 25-27, 2012. pages 426-428, IEEE Computer Society, 2012. [doi]
@inproceedings{SellamiKK12,
title = {BpelVT: A Tool for Formal Validation of Web Service Orchestrations},
author = {Wael Sellami and Hatem Hadj Kacem and Ahmed Hadj Kacem},
year = {2012},
doi = {10.1109/WETICE.2012.30},
url = {http://doi.ieeecomputersociety.org/10.1109/WETICE.2012.30},
researchr = {https://researchr.org/publication/SellamiKK12},
cites = {0},
citedby = {0},
pages = {426-428},
booktitle = {21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2012, Toulouse, France, June 25-27, 2012},
editor = {Sumitra Reddy and Khalil Drira},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-1888-4},
}