Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples.

Oday Jubran, Eike Mhlmann, Oliver E. Theel

Browse the full SSS paper archive.