modelCheckingOfRandomizedLeaderElectionAlgorithms_promelaCode.zip
Model Checking of Randomized Leader Election Algorithms
|
|
KIT – University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association