%0 Journal Article %1 journals/dagstuhl-reports/AgotnesB14 %A Ågotnes, Thomas %A Bulling, Nils %D 2014 %J Dagstuhl Reports %K %N 8 %P 21-44 %T Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). %U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports4.html#AgotnesB14 %V 4

@article{journals/dagstuhl-reports/AgotnesB14, added-at = {2023-12-12T22:44:56.000+0100}, author = {Ågotnes, Thomas and Bulling, Nils}, biburl = {https://www.bibsonomy.org/bibtex/2a0829961c0899c5bfb1667ca6a3abea9/admin}, ee = {http://dx.doi.org/10.4230/DagRep.4.8.21}, interhash = {4db9b0073305526ab35c3eaa419c73eb}, intrahash = {a0829961c0899c5bfb1667ca6a3abea9}, journal = {Dagstuhl Reports}, keywords = {}, number = 8, pages = {21-44}, timestamp = {2023-12-12T22:44:56.000+0100}, title = {Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports4.html#AgotnesB14}, volume = 4, year = 2014 }