BibTeX record conf/atal/BelardinelliG15

download as .bib file

@inproceedings{DBLP:conf/atal/BelardinelliG15,
  author       = {Francesco Belardinelli and
                  Davide Grossi},
  editor       = {Gerhard Weiss and
                  Pinar Yolum and
                  Rafael H. Bordini and
                  Edith Elkind},
  title        = {On the Formal Verification of Diffusion Phenomena in Open Dynamic
                  Agent Networks},
  booktitle    = {Proceedings of the 2015 International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
  pages        = {237--245},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2772912},
  timestamp    = {Tue, 21 Mar 2023 20:59:14 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/BelardinelliG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics