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