APA stil citiranja

Pek, E., & Bogunović, N. (2005). Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima: Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima : magistarski rad. Zagreb: E. Pek ; Fakultet elektrotehnike i računarstva.

Chicago stil citiranja

Pek, Edgar, and Nikola Bogunović. Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima: Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima : magistarski rad. Zagreb: E. Pek ; Fakultet elektrotehnike i računarstva, 2005.

MLA stil citiranja

Pek, Edgar, and Nikola Bogunović. Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima: Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima : magistarski rad. Zagreb: E. Pek ; Fakultet elektrotehnike i računarstva, 2005.