External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verifying A-Priori the Composition of Declarative Specified Services

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni. Verifying A-Priori the Composition of Declarative Specified Services. In Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah-Seghrouchni, Paolo Torroni, Rineke Verbrugge, editors, Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009. Volume 494 of CEUR Workshop Proceedings, CEUR-WS.org, 2009. [doi]

Authors

Federico Chesani

This author has not been identified. Look up 'Federico Chesani' in Google

Paola Mello

This author has not been identified. Look up 'Paola Mello' in Google

Marco Montali

This author has not been identified. Look up 'Marco Montali' in Google

Paolo Torroni

This author has not been identified. Look up 'Paolo Torroni' in Google
runs on