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"