|
[KDF10]
Savas Konur, Clare Dixon and Michael Fisher.
Formal Verification of Probabilistic Swarm Behaviours.
In Proc. 7th International Conference on Swarm Intelligence (ANTS'10), volume 6234 of LNCS, pages 440-447, Springer.
2010.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|