@inproceedings{DBLP:conf/prima/JamrogaM15,
  author       = {Wojciech Jamroga and
                  Aniello Murano},
  editor       = {Qingliang Chen and
                  Paolo Torroni and
                  Serena Villata and
                  Jane Yung{-}jen Hsu and
                  Andrea Omicini},
  title        = {Module Checking for Uncertain Agents},
  booktitle    = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th
                  International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9387},
  pages        = {232--247},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25524-8\_15},
  doi          = {10.1007/978-3-319-25524-8\_15},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/prima/JamrogaM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"hRDhWKTjWJWEApmQy","bibbaseid":"jamroga-murano-modulecheckingforuncertainagents-2015","author_short":["Jamroga, W.","Murano, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Wojciech"],"propositions":[],"lastnames":["Jamroga"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]}],"editor":[{"firstnames":["Qingliang"],"propositions":[],"lastnames":["Chen"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Torroni"],"suffixes":[]},{"firstnames":["Serena"],"propositions":[],"lastnames":["Villata"],"suffixes":[]},{"firstnames":["Jane","Yung-jen"],"propositions":[],"lastnames":["Hsu"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Omicini"],"suffixes":[]}],"title":"Module Checking for Uncertain Agents","booktitle":"PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings","series":"Lecture Notes in Computer Science","volume":"9387","pages":"232–247","publisher":"Springer","year":"2015","url":"https://doi.org/10.1007/978-3-319-25524-8\\_15","doi":"10.1007/978-3-319-25524-8_15","timestamp":"Thu, 23 Jun 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/prima/JamrogaM15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/prima/JamrogaM15,\n author = {Wojciech Jamroga and\n Aniello Murano},\n editor = {Qingliang Chen and\n Paolo Torroni and\n Serena Villata and\n Jane Yung{-}jen Hsu and\n Andrea Omicini},\n title = {Module Checking for Uncertain Agents},\n booktitle = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th\n International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {9387},\n pages = {232--247},\n publisher = {Springer},\n year = {2015},\n url = {https://doi.org/10.1007/978-3-319-25524-8\\_15},\n doi = {10.1007/978-3-319-25524-8\\_15},\n timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/prima/JamrogaM15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Jamroga, W.","Murano, A."],"editor_short":["Chen, Q.","Torroni, P.","Villata, S.","Hsu, J. Y.","Omicini, A."],"key":"DBLP:conf/prima/JamrogaM15","id":"DBLP:conf/prima/JamrogaM15","bibbaseid":"jamroga-murano-modulecheckingforuncertainagents-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-25524-8\\_15"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/41/1330.bib","dataSources":["rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"],"keywords":[],"search_terms":["module","checking","uncertain","agents","jamroga","murano"],"title":"Module Checking for Uncertain Agents","year":2015}