%0 Conference Paper %1 conf/taros/GainerDH16 %A Gainer, Paul %A Dixon, Clare %A Hustadt, Ullrich %B TAROS %D 2016 %E Alboul, Lyuba %E Damian, Dana D. %E Aitken, Jonathan M. %I Springer %K %P 127-138 %T Probabilistic Model Checking of Ant-Based Positionless Swarming. %U http://dblp.uni-trier.de/db/conf/taros/taros2016.html#GainerDH16 %V 9716 %@ 978-3-319-40378-6

@inproceedings{conf/taros/GainerDH16, added-at = {2023-12-13T06:15:07.000+0100}, author = {Gainer, Paul and Dixon, Clare and Hustadt, Ullrich}, biburl = {https://www.bibsonomy.org/bibtex/265d6fe3ec524582d5bbdf4da867f7149/admin}, booktitle = {TAROS}, crossref = {conf/taros/2016}, editor = {Alboul, Lyuba and Damian, Dana D. and Aitken, Jonathan M.}, ee = {https://doi.org/10.1007/978-3-319-40379-3_13}, interhash = {abcc29fcd9ce3ea450f21d05ac6c99f5}, intrahash = {65d6fe3ec524582d5bbdf4da867f7149}, isbn = {978-3-319-40378-6}, keywords = {}, pages = {127-138}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T06:15:07.000+0100}, title = {Probabilistic Model Checking of Ant-Based Positionless Swarming.}, url = {http://dblp.uni-trier.de/db/conf/taros/taros2016.html#GainerDH16}, volume = 9716, year = 2016 }