BibTeX record conf/mallow/ChesaniMMT09

download as .bib file

@inproceedings{DBLP:conf/mallow/ChesaniMMT09,
  author       = {Federico Chesani and
                  Paola Mello and
                  Marco Montali and
                  Paolo Torroni},
  editor       = {Matteo Baldoni and
                  Cristina Baroglio and
                  Jamal Bentahar and
                  Guido Boella and
                  Massimo Cossentino and
                  Mehdi Dastani and
                  Barbara Dunin{-}Keplicz and
                  Giancarlo Fortino and
                  Marie{-}Pierre Gleizes and
                  Jo{\~{a}}o Leite and
                  Viviana Mascardi and
                  Julian A. Padget and
                  Juan Pav{\'{o}}n and
                  Axel Polleres and
                  Amal El Fallah Seghrouchni and
                  Paolo Torroni and
                  Rineke Verbrugge},
  title        = {Verifying A-Priori the Composition of Declarative Specified Services},
  booktitle    = {Proceedings of the Second Multi-Agent Logics, Languages, and Organisations
                  Federated Workshops, Turin, Italy, September 7-10, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {494},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-494/mallowawesomepaper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:29 +0100},
  biburl       = {https://dblp.org/rec/conf/mallow/ChesaniMMT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics