bibtex

@inproceedings{ACD3b,
    title = { Certified Round Complexity of Self-Stabilizing Algorithms },
    author = {Altisen, Karine and Corbineau, Pierre and Devismes, St\'ephane},
    year = {2023},
    booktitle = {37th International Symposium on Distributed Computing, {DISC} 2023, October 10-12, 2023, L'Aquila, Italy},
    pages = {2:1--2:22},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
    series = {LIPIcs},
    volume = {281},
    team = {RSD, SYNC, PACSS},
    timestamp = {Thu, 05 Oct 2023 17:08:58 +0200}, biburl = {https://dblp.org/rec/conf/wdag/AltisenCD23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL


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

info visites 4137331