%0 Conference Paper %1 conf/atal/AminofMRZ16 %A Aminof, Benjamin %A Murano, Aniello %A Rubin, Sasha %A Zuleger, Florian %B AAMAS %D 2016 %E Jonker, Catholijn M. %E Marsella, Stacy %E Thangarajah, John %E Tuyls, Karl %I ACM %K dblp %P 1190-1199 %T Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments. %U http://dblp.uni-trier.de/db/conf/atal/aamas2016.html#AminofMRZ16 %@ 978-1-4503-4239-1

@inproceedings{conf/atal/AminofMRZ16, added-at = {2022-10-02T00:00:00.000+0200}, author = {Aminof, Benjamin and Murano, Aniello and Rubin, Sasha and Zuleger, Florian}, biburl = {https://www.bibsonomy.org/bibtex/237f8a8ab5ca55c385df4a9aa24573c78/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=2937098}, interhash = {55f1cef96ba355b909f04d86455f6828}, intrahash = {37f8a8ab5ca55c385df4a9aa24573c78}, isbn = {978-1-4503-4239-1}, keywords = {dblp}, pages = {1190-1199}, publisher = {ACM}, timestamp = {2024-04-10T08:47:21.000+0200}, title = {Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2016.html#AminofMRZ16}, year = 2016 }