Works matching IS 01782770 AND DT 2016 AND VI 29 AND IP 6

Results: 3
    1
    2

    Formal verification of mobile robot protocols.

    Published in:
    Distributed Computing, 2016, v. 29, n. 6, p. 459, doi. 10.1007/s00446-016-0271-1
    By:
    • Bérard, Béatrice;
    • Lafourcade, Pascal;
    • Millet, Laure;
    • Potop-Butucaru, Maria;
    • Thierry-Mieg, Yann;
    • Tixeuil, Sébastien
    Publication type:
    Article
    3

    Byzantine gathering in networks.

    Published in:
    Distributed Computing, 2016, v. 29, n. 6, p. 435, doi. 10.1007/s00446-016-0276-9
    By:
    • Bouchard, Sébastien;
    • Dieudonné, Yoann;
    • Ducourthial, Bertrand
    Publication type:
    Article