Verifying Temporal and Epistemic Properties of Web Service Compositions.

Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki

Browse the full ICSOC paper archive.