Juratovac, M. (2014). Formalna verifikacija sustava kao mrežna usluga (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:474932
Juratovac, Miroslav. "Formalna verifikacija sustava kao mrežna usluga." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2014. https://urn.nsk.hr/urn:nbn:hr:168:474932
Juratovac, Miroslav. "Formalna verifikacija sustava kao mrežna usluga." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2014. https://urn.nsk.hr/urn:nbn:hr:168:474932
Juratovac, M. (2014). 'Formalna verifikacija sustava kao mrežna usluga', Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 25.08.2024., https://urn.nsk.hr/urn:nbn:hr:168:474932
Juratovac M. Formalna verifikacija sustava kao mrežna usluga [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2014 [pristupljeno 25.08.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:474932
M. Juratovac, "Formalna verifikacija sustava kao mrežna usluga", Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2014. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:474932