Verifying Temporal and Epistemic Properties of Web Service Compositions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki. Verifying Temporal and Epistemic Properties of Web Service Compositions. In Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan, editors, Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings. Volume 4749 of Lecture Notes in Computer Science, pages 456-461, Springer, 2007. [doi]

This author has not been identified. Look up 'Alessio Lomuscio' in GoogleThis author has not been identified. Look up 'Hongyang Qu' in GoogleThis author has not been identified. Look up 'Marek J. Sergot' in GoogleThis author has not been identified. Look up 'Monika Solanki' in Google

runs on WebDSL