TY  - THES
ID  - fer:5355
TI  - Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima
AU  - Pek, Edgar
DP  - DABAR (Digitalni akademski arhivi i repozitoriji)
ER  -