%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 }