%0 Conference Paper %1 conf/atal/LacerdaL11 %A Lacerda, Bruno %A Lima, Pedro U. %B AAMAS %D 2011 %E Sonenberg, Liz %E Stone, Peter %E Tumer, Kagan %E Yolum, Pinar %I IFAAMAS %K dblp %P 1253-1254 %T Designing petri net supervisors for multi-agent systems from LTL specifications. %U http://dblp.uni-trier.de/db/conf/atal/aamas2011.html#LacerdaL11 %@ 978-0-9826571-5-7

@inproceedings{conf/atal/LacerdaL11, added-at = {2011-11-18T00:00:00.000+0100}, author = {Lacerda, Bruno and Lima, Pedro U.}, biburl = {https://www.bibsonomy.org/bibtex/2017b1fb4fdb6cd845d9f29f404d22734/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2011}, editor = {Sonenberg, Liz and Stone, Peter and Tumer, Kagan and Yolum, Pinar}, ee = {http://portal.acm.org/citation.cfm?id=2034512&CFID=69154334&CFTOKEN=45298625}, interhash = {93de89cab5141120f6facf8f0c319c18}, intrahash = {017b1fb4fdb6cd845d9f29f404d22734}, isbn = {978-0-9826571-5-7}, keywords = {dblp}, pages = {1253-1254}, publisher = {IFAAMAS}, timestamp = {2011-11-19T11:33:29.000+0100}, title = {Designing petri net supervisors for multi-agent systems from LTL specifications.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2011.html#LacerdaL11}, year = 2011 }