@phdthesis{fer:5355,
	author = {{Pek, Edgar}},
	title = {{Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima}},
}