Verification of dynamic epistemic properties in multi-agent systems : doctoral thesis = Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava : doktorska disertacija - Bagić, Marina (M. Bagić Babac, 2009)
Na vrhu nasl. str.: University of Zagreb, Faculty of Electrical Engineering and Computing = Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva