%0 Conference Paper %1 conf/icdcn/AltisenCD21 %A Altisen, Karine %A Corbineau, Pierre %A Devismes, Stéphane %B ICDCN %D 2021 %I ACM %K dblp %P 46-55 %T Certification of an Exact Worst-Case Self-Stabilization Time. %U http://dblp.uni-trier.de/db/conf/icdcn/icdcn2021.html#AltisenCD21 %@ 978-1-4503-8933-4

@inproceedings{conf/icdcn/AltisenCD21, added-at = {2021-01-19T00:00:00.000+0100}, author = {Altisen, Karine and Corbineau, Pierre and Devismes, Stéphane}, biburl = {https://www.bibsonomy.org/bibtex/29af14b75f2983aeb8f3abe2c333ac7ac/dblp}, booktitle = {ICDCN}, crossref = {conf/icdcn/2021}, ee = {https://doi.org/10.1145/3427796.3427832}, interhash = {ab505d0d4ceef0b86c4b01ae3aedf970}, intrahash = {9af14b75f2983aeb8f3abe2c333ac7ac}, isbn = {978-1-4503-8933-4}, keywords = {dblp}, pages = {46-55}, publisher = {ACM}, timestamp = {2024-04-09T15:01:05.000+0200}, title = {Certification of an Exact Worst-Case Self-Stabilization Time.}, url = {http://dblp.uni-trier.de/db/conf/icdcn/icdcn2021.html#AltisenCD21}, year = 2021 }