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]
Abstract is missing.