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 | Site Map | Site powered by SPIP 3.2.19 + AHUNTSIC [CC License]

info visites 2140550