pid,type,title,authors,mentors,source_title,published_date,url,doi,isbn,issn,eissn fer:5355,dissertation,"Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima","Pek, Edgar",,,,,,,,