bibtex

@article{ACD2,
    title = { Certification of an exact worst-case self-stabilization time },
    author = {Altisen, Karine and Corbineau, Pierre and Devismes, St\'ephane},
    year = {2022},
    journal = {Theoretical Computer Science},
    team = {axe_FormalProofs, axe_SharedResources, SYNC, PACSS},
}

URL


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

info visites 1999465