Inproceedings,
Verifying A-Priori the Composition of Declarative Specified Services.
F. Chesani, P. Mello, M. Montali, and P. Torroni.MALLOW, volume 494 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)
Meta data
- BibTeX key
- conf/mallow/ChesaniMMT09
- entry type
- inproceedings
- booktitle
- MALLOW
- year
- 2009
- publisher
- CEUR-WS.org
- series
- CEUR Workshop Proceedings
- volume
- 494
- crossref
- conf/mallow/2009
- ee
- https://ceur-ws.org/Vol-494/mallowawesomepaper2.pdf
- url
- http://dblp.uni-trier.de/db/conf/mallow/mallow2009.html#ChesaniMMT09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/mallow/ChesaniMMT09
%A Chesani, Federico
%A Mello, Paola
%A Montali, Marco
%A Torroni, Paolo
%B MALLOW
%D 2009
%E Baldoni, Matteo
%E Baroglio, Cristina
%E Bentahar, Jamal
%E Boella, Guido
%E Cossentino, Massimo
%E Dastani, Mehdi
%E Dunin-Keplicz, Barbara
%E Fortino, Giancarlo
%E Gleizes, Marie-Pierre
%E Leite, João
%E Mascardi, Viviana
%E Padget, Julian A.
%E Pavón, Juan
%E Polleres, Axel
%E Seghrouchni, Amal El Fallah
%E Torroni, Paolo
%E Verbrugge, Rineke
%I CEUR-WS.org
%K dblp
%T Verifying A-Priori the Composition of Declarative Specified Services.
%U http://dblp.uni-trier.de/db/conf/mallow/mallow2009.html#ChesaniMMT09
%V 494
@inproceedings{conf/mallow/ChesaniMMT09,
added-at = {2023-03-10T00:00:00.000+0100},
author = {Chesani, Federico and Mello, Paola and Montali, Marco and Torroni, Paolo},
biburl = {https://www.bibsonomy.org/bibtex/2ea880700c4fdbcc5624cff2a18fb398c/dblp},
booktitle = {MALLOW},
crossref = {conf/mallow/2009},
editor = {Baldoni, Matteo and Baroglio, Cristina and Bentahar, Jamal and Boella, Guido and Cossentino, Massimo and Dastani, Mehdi and Dunin-Keplicz, Barbara and Fortino, Giancarlo and Gleizes, Marie-Pierre and Leite, João and Mascardi, Viviana and Padget, Julian A. and Pavón, Juan and Polleres, Axel and Seghrouchni, Amal El Fallah and Torroni, Paolo and Verbrugge, Rineke},
ee = {https://ceur-ws.org/Vol-494/mallowawesomepaper2.pdf},
interhash = {3cf15f3301707f20506e6b17285496e3},
intrahash = {ea880700c4fdbcc5624cff2a18fb398c},
keywords = {dblp},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2024-04-10T01:58:54.000+0200},
title = {Verifying A-Priori the Composition of Declarative Specified Services.},
url = {http://dblp.uni-trier.de/db/conf/mallow/mallow2009.html#ChesaniMMT09},
volume = 494,
year = 2009
}