%0 Conference Paper %1 conf/atal/SilvestreS16 %A Silvestre, Eduardo Augusto %A da Silva, Viviane Torres %B AAMAS %D 2016 %E Jonker, Catholijn M. %E Marsella, Stacy %E Thangarajah, John %E Tuyls, Karl %I ACM %K dblp %P 1383-1384 %T Verifying Conflicts among Multiple Norms in Multi-agent Systems: (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/atal/aamas2016.html#SilvestreS16 %@ 978-1-4503-4239-1

@inproceedings{conf/atal/SilvestreS16, added-at = {2016-05-20T00:00:00.000+0200}, author = {Silvestre, Eduardo Augusto and da Silva, Viviane Torres}, biburl = {https://www.bibsonomy.org/bibtex/29a26e7b2dee869f0ea507aa5f5192604/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2016}, editor = {Jonker, Catholijn M. and Marsella, Stacy and Thangarajah, John and Tuyls, Karl}, ee = {http://dl.acm.org/citation.cfm?id=2937171}, interhash = {ec91e9e0cec9266005d9e5b0d4ca8c2d}, intrahash = {9a26e7b2dee869f0ea507aa5f5192604}, isbn = {978-1-4503-4239-1}, keywords = {dblp}, pages = {1383-1384}, publisher = {ACM}, timestamp = {2016-05-21T12:32:33.000+0200}, title = {Verifying Conflicts among Multiple Norms in Multi-agent Systems: (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2016.html#SilvestreS16}, year = 2016 }