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

Davor Lisjak (2012)
Sveučilište u Zagrebu
Fakultet organizacije i informatike Varaždin
Katedra za računalstvo i tehnologiju