Generalizing treshold automata for reachability in parameterized systemsKukovec, Jure (Avtor) Bauer, Andrej (Mentor) Konnov, Igor (Komentor) treshold automatafault tolerant distributed algorithmsmodel checking[J. Kukovec]20162017-10-24 09:59:02Magistrsko delo/naloga97312UDK: 004.42COBISS_ID: 17768025sl