prikaz prve stranice dokumenta Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin
No public access
master's thesis
Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin

Futivić, Ivan
University of Zagreb
Faculty of Electrical Engineering and Computing

Cite this document

Futivić, I. (2024). Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin (Master's thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:404428

Futivić, Ivan. "Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2024. https://urn.nsk.hr/urn:nbn:hr:168:404428

Futivić, Ivan. "Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2024. https://urn.nsk.hr/urn:nbn:hr:168:404428

Futivić, I. (2024). 'Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin', Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 23 October 2024, https://urn.nsk.hr/urn:nbn:hr:168:404428

Futivić I. Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin [Master's thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2024 [cited 2024 October 23] Available at: https://urn.nsk.hr/urn:nbn:hr:168:404428

I. Futivić, "Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin", Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2024. Available at: https://urn.nsk.hr/urn:nbn:hr:168:404428

Please login to the repository to save this object to your list.