%0 Conference Paper %1 conf/atal/BelardinelliG15 %A Belardinelli, Francesco %A Grossi, Davide %B AAMAS %D 2015 %E Weiss, Gerhard %E Yolum, Pinar %E Bordini, Rafael H. %E Elkind, Edith %I ACM %K dblp %P 237-245 %T On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks. %U http://dblp.uni-trier.de/db/conf/atal/aamas2015.html#BelardinelliG15 %@ 978-1-4503-3413-6

@inproceedings{conf/atal/BelardinelliG15, added-at = {2023-03-21T00:00:00.000+0100}, author = {Belardinelli, Francesco and Grossi, Davide}, biburl = {https://www.bibsonomy.org/bibtex/242358433a640a5ed4ff0a7b09f598512/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2015}, editor = {Weiss, Gerhard and Yolum, Pinar and Bordini, Rafael H. and Elkind, Edith}, ee = {http://dl.acm.org/citation.cfm?id=2772912}, interhash = {414554c5c71f87840fe2e0fff8f5a23e}, intrahash = {42358433a640a5ed4ff0a7b09f598512}, isbn = {978-1-4503-3413-6}, keywords = {dblp}, pages = {237-245}, publisher = {ACM}, timestamp = {2024-04-10T02:26:20.000+0200}, title = {On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2015.html#BelardinelliG15}, year = 2015 }