Web Services Composition Verification Using Satisfiability Solving.

Ehtesham Zahoor, Olivier Perrin, Claude Godart

Browse the full ICWS paper archive.