Towards scalable proofs of robot swarm dependability

statement of authorship
J.Vain, T.Tammet, A.Kuusik, S.Juurik
location of publication
[Tallinn]
year of publication
pages
p. 199-202 : ill
ISBN
978-1-4244-2059-9
notes
Bibliogr.: 7 ref
language
inglise