Leveraging Integrated Tools for Model-Based Analysis of Service Compositions.

Howard Foster, Philip Mayer

Browse the full ICIW paper archive.