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},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 23 ; visits: 461505