%0 Conference Paper %1 conf/antsw/KonurDF10 %A Konur, Savas %A Dixon, Clare %A Fisher, Michael %B ANTS Conference %D 2010 %E Dorigo, Marco %E Birattari, Mauro %E Caro, Gianni A. Di %E Doursat, René %E Engelbrecht, Andries P. %E Floreano, Dario %E Gambardella, Luca Maria %E Groß, Roderich %E Sahin, Erol %E Sayama, Hiroki %E Stützle, Thomas %I Springer %K dblp %P 440-447 %T Formal Verification of Probabilistic Swarm Behaviours. %U http://dblp.uni-trier.de/db/conf/antsw/ants2010.html#KonurDF10 %V 6234 %@ 978-3-642-15460-7

@inproceedings{conf/antsw/KonurDF10, added-at = {2020-12-25T00:00:00.000+0100}, author = {Konur, Savas and Dixon, Clare and Fisher, Michael}, biburl = {https://www.bibsonomy.org/bibtex/20f8503ff3f98672d673bed7a3229394d/dblp}, booktitle = {ANTS Conference}, crossref = {conf/antsw/2010}, editor = {Dorigo, Marco and Birattari, Mauro and Caro, Gianni A. Di and Doursat, René and Engelbrecht, Andries P. and Floreano, Dario and Gambardella, Luca Maria and Groß, Roderich and Sahin, Erol and Sayama, Hiroki and Stützle, Thomas}, ee = {https://www.wikidata.org/entity/Q98283595}, interhash = {b6c7153a39e8f78afc8fdda67e828c2b}, intrahash = {0f8503ff3f98672d673bed7a3229394d}, isbn = {978-3-642-15460-7}, keywords = {dblp}, pages = {440-447}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T21:46:34.000+0200}, title = {Formal Verification of Probabilistic Swarm Behaviours.}, url = {http://dblp.uni-trier.de/db/conf/antsw/ants2010.html#KonurDF10}, volume = 6234, year = 2010 }