@inproceedings{DBLP:conf/woa/AnconaBFM16,
  author       = {Davide Ancona and
                  Daniela Briola and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Corrado Santoro and
                  Fabrizio Messina and
                  Massimiliano De Benedetti},
  title        = {MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification
                  of Agent Interaction Protocols},
  booktitle    = {Proceedings of the 17th Workshop "From Objects to Agents" co-located
                  with 18th European Agent Systems Summer School {(EASSS} 2016), Catania,
                  Italy, July 29-30, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1664},
  pages        = {35--43},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1664/w7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:40 +0100},
  biburl       = {https://dblp.org/rec/conf/woa/AnconaBFM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"4knbLd2y2fgLeqXLK","bibbaseid":"ancona-briola-ferrando-mascardi-masdriveapracticalapproachtodecentralizedruntimeverificationofagentinteractionprotocols-2016","author_short":["Ancona, D.","Briola, D.","Ferrando, A.","Mascardi, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Daniela"],"propositions":[],"lastnames":["Briola"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Viviana"],"propositions":[],"lastnames":["Mascardi"],"suffixes":[]}],"editor":[{"firstnames":["Corrado"],"propositions":[],"lastnames":["Santoro"],"suffixes":[]},{"firstnames":["Fabrizio"],"propositions":[],"lastnames":["Messina"],"suffixes":[]},{"firstnames":["Massimiliano","De"],"propositions":[],"lastnames":["Benedetti"],"suffixes":[]}],"title":"MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols","booktitle":"Proceedings of the 17th Workshop \"From Objects to Agents\" co-located with 18th European Agent Systems Summer School (EASSS 2016), Catania, Italy, July 29-30, 2016","series":"CEUR Workshop Proceedings","volume":"1664","pages":"35–43","publisher":"CEUR-WS.org","year":"2016","url":"https://ceur-ws.org/Vol-1664/w7.pdf","timestamp":"Fri, 10 Mar 2023 16:22:40 +0100","biburl":"https://dblp.org/rec/conf/woa/AnconaBFM16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/woa/AnconaBFM16,\n author = {Davide Ancona and\n Daniela Briola and\n Angelo Ferrando and\n Viviana Mascardi},\n editor = {Corrado Santoro and\n Fabrizio Messina and\n Massimiliano De Benedetti},\n title = {MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification\n of Agent Interaction Protocols},\n booktitle = {Proceedings of the 17th Workshop \"From Objects to Agents\" co-located\n with 18th European Agent Systems Summer School {(EASSS} 2016), Catania,\n Italy, July 29-30, 2016},\n series = {{CEUR} Workshop Proceedings},\n volume = {1664},\n pages = {35--43},\n publisher = {CEUR-WS.org},\n year = {2016},\n url = {https://ceur-ws.org/Vol-1664/w7.pdf},\n timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},\n biburl = {https://dblp.org/rec/conf/woa/AnconaBFM16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ancona, D.","Briola, D.","Ferrando, A.","Mascardi, V."],"editor_short":["Santoro, C.","Messina, F.","Benedetti, M. D."],"key":"DBLP:conf/woa/AnconaBFM16","id":"DBLP:conf/woa/AnconaBFM16","bibbaseid":"ancona-briola-ferrando-mascardi-masdriveapracticalapproachtodecentralizedruntimeverificationofagentinteractionprotocols-2016","role":"author","urls":{"Paper":"https://ceur-ws.org/Vol-1664/w7.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["X6oai84Gqtg82PfJ8","hbmDF3mowSFP7RzLi","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur","jkPac6coMCnfPS9v6"],"keywords":[],"search_terms":["mas","drive","practical","approach","decentralized","runtime","verification","agent","interaction","protocols","ancona","briola","ferrando","mascardi"],"title":"MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols","year":2016}