%0 Conference Paper %1 conf/asa/PetreskaKG11 %A Petreska, Isidora %A Kefalas, Petros %A Gheorghe, Marian %B WASA %D 2011 %E Ivanovic, Mirjana %E Ganzha, Maria %E Paprzycki, Marcin %E Badica, Costin %I CEUR-WS.org %K dblp %P 37-44 %T A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems. %U http://dblp.uni-trier.de/db/conf/asa/wasa2011.html#PetreskaKG11 %V 752

@inproceedings{conf/asa/PetreskaKG11, added-at = {2023-03-10T00:00:00.000+0100}, author = {Petreska, Isidora and Kefalas, Petros and Gheorghe, Marian}, biburl = {https://www.bibsonomy.org/bibtex/26da42c80e9f2cd9573142a94f728e0ac/dblp}, booktitle = {WASA}, crossref = {conf/asa/2011}, editor = {Ivanovic, Mirjana and Ganzha, Maria and Paprzycki, Marcin and Badica, Costin}, ee = {https://ceur-ws.org/Vol-752/37-44petreskaetal.pdf}, interhash = {c2af7c82ce5696452d81f15ceb3937ce}, intrahash = {6da42c80e9f2cd9573142a94f728e0ac}, keywords = {dblp}, pages = {37-44}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T15:05:09.000+0200}, title = {A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems.}, url = {http://dblp.uni-trier.de/db/conf/asa/wasa2011.html#PetreskaKG11}, volume = 752, year = 2011 }