No public access
scientific master's theses
Formal Verification of Communication Protocols in Distributed Systems

Edgar Pek (2005)
University of Zagreb
Faculty of Electrical Engineering and Computing
Department of Electronics, Microelectronics, Computer and Intelligent Systems
Cite this document

Pek, E. (2005). Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima (Scientific master's theses). Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:323056

Pek, Edgar. "Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima." Scientific master's theses, University of Zagreb, Faculty of Electrical Engineering and Computing, 2005. https://urn.nsk.hr/urn:nbn:hr:168:323056

Pek, Edgar. "Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima." Scientific master's theses, University of Zagreb, Faculty of Electrical Engineering and Computing, 2005. https://urn.nsk.hr/urn:nbn:hr:168:323056

Pek, E. (2005). 'Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima', Scientific master's theses, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 21 October 2019, https://urn.nsk.hr/urn:nbn:hr:168:323056

Pek E. Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima [Scientific master's theses]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2005 [cited 2019 October 21] Available at: https://urn.nsk.hr/urn:nbn:hr:168:323056

E. Pek, "Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima", Scientific master's theses, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2005. Available at: https://urn.nsk.hr/urn:nbn:hr:168:323056