undergraduate thesis
Model Checking of Protocols with Time Constraints

Davor Lisjak (2012)
University of Zagreb
Faculty of Organization and Informatics
Department of Computing and Technology
Cite this document...

Lisjak, D. (2012). Automatska verifikacija protokola s vremenskim ograničenjima (Undergraduate thesis). Retrieved from https://urn.nsk.hr/urn:nbn:hr:211:244198

Lisjak, Davor. "Automatska verifikacija protokola s vremenskim ograničenjima." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2012. https://urn.nsk.hr/urn:nbn:hr:211:244198

Lisjak, Davor. "Automatska verifikacija protokola s vremenskim ograničenjima." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2012. https://urn.nsk.hr/urn:nbn:hr:211:244198

Lisjak, D. (2012). 'Automatska verifikacija protokola s vremenskim ograničenjima', Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, accessed 16 July 2019, https://urn.nsk.hr/urn:nbn:hr:211:244198

Lisjak D. Automatska verifikacija protokola s vremenskim ograničenjima [Undergraduate thesis]. Varaždin: University of Zagreb, Faculty of Organization and Informatics; 2012 [cited 2019 July 16] Available at: https://urn.nsk.hr/urn:nbn:hr:211:244198

D. Lisjak, "Automatska verifikacija protokola s vremenskim ograničenjima", Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, Varaždin, 2012. Available at: https://urn.nsk.hr/urn:nbn:hr:211:244198