Bagić Babac, M., & Kunštić, M. (2009). Verification od dynamic epistemic properties in multi-agent systems = Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava: Verification od dynamic epistemic properties in multi-agent systems = Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava : doctoral thesis = doktorska disertacija. Zagreb: M. Bagić Babac ; Fakultet elektrotehnike i računarstva.
Chicago stil citiranjaBagić Babac, Marina, and Marijan Kunštić. Verification od dynamic epistemic properties in multi-agent systems = Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava: Verification od dynamic epistemic properties in multi-agent systems = Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava : doctoral thesis = doktorska disertacija. Zagreb: M. Bagić Babac ; Fakultet elektrotehnike i računarstva, 2009.
MLA stil citiranjaBagić Babac, Marina, and Marijan Kunštić. Verification od dynamic epistemic properties in multi-agent systems = Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava: Verification od dynamic epistemic properties in multi-agent systems = Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava : doctoral thesis = doktorska disertacija. Zagreb: M. Bagić Babac ; Fakultet elektrotehnike i računarstva, 2009.