%0 Journal Article %1 journals/ras/KonurDF12 %A Konur, Savas %A Dixon, Clare %A Fisher, Michael %D 2012 %J Robotics Auton. Syst. %K dblp %N 2 %P 199-213 %T Analysing robot swarm behaviour via probabilistic model checking. %U http://dblp.uni-trier.de/db/journals/ras/ras60.html#KonurDF12 %V 60

@article{journals/ras/KonurDF12, added-at = {2020-12-25T00:00:00.000+0100}, author = {Konur, Savas and Dixon, Clare and Fisher, Michael}, biburl = {https://www.bibsonomy.org/bibtex/238807f6b7811d3edd7f0a6e763d56d2f/dblp}, ee = {https://www.wikidata.org/entity/Q98283469}, interhash = {9044e3e8be3b43089577de82679d9bc7}, intrahash = {38807f6b7811d3edd7f0a6e763d56d2f}, journal = {Robotics Auton. Syst.}, keywords = {dblp}, number = 2, pages = {199-213}, timestamp = {2024-04-09T06:26:02.000+0200}, title = {Analysing robot swarm behaviour via probabilistic model checking.}, url = {http://dblp.uni-trier.de/db/journals/ras/ras60.html#KonurDF12}, volume = 60, year = 2012 }