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


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4183795