Formal verification of mobile robot protocols

Type de document :
Article dans une revue
Distributed Computing, Springer Verlag, 2016, Distributed Computing, 29, pp.1-25. <http://link.springer.com/article/10.1007/s00446-016-0271-1>. <10.1007/s00446-016-0271-1>
Liste complète des métadonnées

http://hal.upmc.fr/hal-01344903
Contributeur : Yann Thierry-Mieg <>
Soumis le : mardi 12 juillet 2016 - 18:03:14
Dernière modification le : lundi 29 mai 2017 - 14:23:53

Identifiants

Collections

Citation

Beatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, et al.. Formal verification of mobile robot protocols. Distributed Computing, Springer Verlag, 2016, Distributed Computing, 29, pp.1-25. <http://link.springer.com/article/10.1007/s00446-016-0271-1>. <10.1007/s00446-016-0271-1>. <hal-01344903>

Partager

Métriques

Consultations de la notice

150