Posted in
| Title | {Verifying A-Priori the Composition of Declarative Specified Services} |
| Publication Type | Conference Proceedings |
| Year of Conference | 2009 |
| Authors | Chesani, F., P. Mello, M. Montali, and P. Torroni |
| Conference Name | Proceedings of the 2nd Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), International Workshop on Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW-AWESOME) |
| Volume | 494 |
| Publisher | CEUR Workshop Proceedings |