Ključne besede: treshold automata, fault tolerant distributed algorithms, model checkingCelotno besedilo (datoteka, 398,82 KB)