%0 Conference Paper %1 conf/aaaifs/Silva0D016 %A da Silva, Rafael Rodrigues %A Wu, Bo %A Dai, Jin %A Lin, Hai %B AAAI Fall Symposia %D 2016 %I AAAI Press %K dblp %T Extended Abstract: Formal Design of Cooperative Multi-Agent Systems. %U http://dblp.uni-trier.de/db/conf/aaaifs/aaaifs2016.html#Silva0D016

@inproceedings{conf/aaaifs/Silva0D016, added-at = {2018-11-14T00:00:00.000+0100}, author = {da Silva, Rafael Rodrigues and Wu, Bo and Dai, Jin and Lin, Hai}, biburl = {https://www.bibsonomy.org/bibtex/211a04c0ee5128db30943263e121e2b3e/dblp}, booktitle = {AAAI Fall Symposia}, crossref = {conf/aaaifs/2016}, ee = {http://aaai.org/ocs/index.php/FSS/FSS16/paper/view/14102}, interhash = {df4e22dff1509d730392a2c7e0147fda}, intrahash = {11a04c0ee5128db30943263e121e2b3e}, keywords = {dblp}, publisher = {AAAI Press}, timestamp = {2018-11-15T15:51:24.000+0100}, title = {Extended Abstract: Formal Design of Cooperative Multi-Agent Systems.}, url = {http://dblp.uni-trier.de/db/conf/aaaifs/aaaifs2016.html#Silva0D016}, year = 2016 }