König, Barbara; Kozyura, Vitaly:
Case Study: Verification of a Leader Election Protocol using Augur
2009
(Solution for the 5th International Workshop on Graph-Based Tools, GraBaTs 2009)
Buch / Fach: Informatik
Titel:
Case Study: Verification of a Leader Election Protocol using Augur
Autor(in):
König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Kozyura, Vitaly
Erscheinungsjahr
2009
In Serie:
Solution for the 5th International Workshop on Graph-Based Tools, GraBaTs 2009
WWW URL