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)
Buch2009Informatik
Titel:
Case Study: Verification of a Leader Election Protocol using Augur
Autor(in):
König, BarbaraLSF; Kozyura, Vitaly
Erscheinungsjahr
2009
WWW URL
In Serie:
Titel:
Solution for the 5th International Workshop on Graph-Based Tools, GraBaTs 2009