Concepedia

Publication | Open Access

Formal verification of mobile robot protocols

DOIFull Paper Access

36

Citations

17

References

2016

Year

Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil
Distributed Computing

References

YearCitations

Page 1