BpelVT: A Tool for Formal Validation of Web Service Orchestrations.

Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem

Browse the full WETICE paper archive.