Certification of an Exact Worst-Case Self-Stabilization Time.

Karine Altisen, Pierre Corbineau, Stphane Devismes

Browse the full ICDCN paper archive.