Home | deutsch  | Legals | Sitemap | KIT

Model Checking of Randomized Leader Election Algorithms

Model Checking of Randomized Leader Election Algorithms
Type:Diplomarbeit
Date:2007
Supervisor:

Prof. P. H. Schmitt
Frank Werner

Author:

David Faragó

Links:PDF

Model Checking Of Randomized Leader Election Algorithms - Promela Code