Formal verification for Web service composition: A model-checking approach.

Majdi Ghannoudi, Walid Chainbi

Browse the full ISNCC paper archive.