završni rad
Automatska verifikacija protokola s vremenskim ograničenjima

Davor Lisjak (2012)
Sveučilište u Zagrebu
Fakultet organizacije i informatike
Katedra za računalstvo i tehnologiju
Citirajte ovaj rad...

Lisjak, D. (2012). Automatska verifikacija protokola s vremenskim ograničenjima (Završni rad). 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: 23.04.2019., 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 23.04.2019.] 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