Verimag

bibtex

@article{GM96,
    title = {Specification and Verification of various Distributed Leader Election Algorithms for Unidirectional Ring Networks },
    author = {Garavel, Hubert and Mounier, Laurent},
    year = {1996},
    journal = {Science of Computer Programming},
    team = {DCS},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 26 ; visites : 451799