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 / Monographie / Fach: Informatik

Dieser Eintrag ist freigegeben.