Home | english | Impressum | Sitemap | KIT

Model Checking of Randomized Leader Election Algorithms

Model Checking of Randomized Leader Election Algorithms
Typ:Diplomarbeit
Datum:2007
Betreuer:

Prof. P. H. Schmitt
Frank Werner

Bearbeiter:

David Faragó

Links:PDF

Model Checking Of Randomized Leader Election Algorithms - Promela Code