Bagić Babac, Marina
Verification od dynamic epistemic properties in multi-agent systems = Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava : doctoral thesis = doktorska disertacija / Marina Bagić Babac ; [mentor Marijan kunštić] - Zagreb : M. Bagić Babac ; Fakultet elektrotehnike i računarstva, 2009. - ix, 138 str. : graf. prikazi ; 30 cm + CD
004.414*681.3
Verification od dynamic epistemic properties in multi-agent systems = Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava : doctoral thesis = doktorska disertacija / Marina Bagić Babac ; [mentor Marijan kunštić] - Zagreb : M. Bagić Babac ; Fakultet elektrotehnike i računarstva, 2009. - ix, 138 str. : graf. prikazi ; 30 cm + CD
004.414*681.3