bibtex

@article{ACD3c,
    title = { Certification of an exact worst-case self-stabilization time },
    author = {Altisen, Karine and Corbineau, Pierre and Devismes, St\'ephane},
    year = {2023},
    journal = {Theor. Comput. Sci.},
    pages = {262--277},
    volume = {941},
    team = {SYNC, PACSS},
}

URL


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

info visites 4155194