Skip to main content

Abduction for Specifying and Verifying Web Service Choreographies

Posted in
Title{Abduction for Specifying and Verifying Web Service Choreographies}
Publication TypeConference Paper
Year of Publication2006
AuthorsChesani, F., P. Mello, M. Montali, M. Alberti, M. Gavanelli, E. Lamma, and S. Storari
Conference Name4th International Workshop on AI for Service Composition (AISC 2006)