Verification of dynamic epistemic properties in multi-agent systems : doctoral thesis = Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava : doktorska disertacija - Bagić, Marina (Zagreb : 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
Fak. elektr. i rač., Zagreb, 2009.
Bibliografija: listovi 123-[132]
Sažetak: Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava
Keywords: Višeagentski sustavi -- Disertacije