Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima : magistarski rad - Pek, Edgar (E. Pek ; Fakultet elektrotehnike i računarstva, 2005)