Abduction for Specifying and Verifying Web Service Choreographies

Autor:	M. Alberti, M. Gavanelli, E. Lamma, S. Storari, CHESANI, FEDERICO, MELLO, PAOLA, MONTALI, MARCO
Přispěvatelé:	M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, S. Storari
Jazyk:	angličtina
Rok vydání:	2006
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______4094::cbee81e44be6c3f79e224a3a2f953795 http://hdl.handle.net/11585/29966 Zobrazit plný text záznamu