Sveučilište u Zagrebu Fakultet organizacije i informatike Katedra za informatičke tehnologije i računarstvo
Citirajte ovaj rad
Lisjak, D. (2012). Automatska verifikacija protokola s vremenskim ograničenjima (Završni rad). Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:211:244198
Lisjak, Davor. "Automatska verifikacija protokola s vremenskim ograničenjima." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2012. https://urn.nsk.hr/urn:nbn:hr:211:244198
Lisjak, Davor. "Automatska verifikacija protokola s vremenskim ograničenjima." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2012. https://urn.nsk.hr/urn:nbn:hr:211:244198
Lisjak, D. (2012). 'Automatska verifikacija protokola s vremenskim ograničenjima', Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, citirano: 03.12.2024., https://urn.nsk.hr/urn:nbn:hr:211:244198
Lisjak D. Automatska verifikacija protokola s vremenskim ograničenjima [Završni rad]. Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike; 2012 [pristupljeno 03.12.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:244198
D. Lisjak, "Automatska verifikacija protokola s vremenskim ograničenjima", Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, Varaždin, 2012. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:244198