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.