Accéder directement au contenu

Sébastien Tixeuil

1
Documents

Publications

"pascalafourcade"
"yann-thierry-mieg"
Image document

Formal verification of mobile robot protocols

 Beatrice Bérard , Pascal Lafourcade , Laure Millet , Maria Potop-Butucaru , Yann Thierry-Mieg
Distributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩
Article dans une revue hal-01344903v1