Verification of leader election protocols for dynamic networks

Tugsbayar, Jan Jeremy; Noll, Thomas (Thesis advisor); Katoen, Joost-Pieter (Thesis advisor); Fesefeldt, Ira Justus (Consultant)

Aachen (2022)
Bachelor Thesis

Bachelorarbeit, RWTH Aachen University, 2022