University of Zagreb Faculty of Electrical Engineering and Computing Department of Telecommunications
Cite this document
Bagić Babac, M. (2009). Verification of dynamic epistemic properties in multi-agent systems (Doctoral thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:305081
Bagić Babac, Marina. "Verification of dynamic epistemic properties in multi-agent systems." Doctoral thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2009. https://urn.nsk.hr/urn:nbn:hr:168:305081
Bagić Babac, Marina. "Verification of dynamic epistemic properties in multi-agent systems." Doctoral thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2009. https://urn.nsk.hr/urn:nbn:hr:168:305081
Bagić Babac, M. (2009). 'Verification of dynamic epistemic properties in multi-agent systems', Doctoral thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 20 August 2024, https://urn.nsk.hr/urn:nbn:hr:168:305081
Bagić Babac M. Verification of dynamic epistemic properties in multi-agent systems [Doctoral thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2009 [cited 2024 August 20] Available at: https://urn.nsk.hr/urn:nbn:hr:168:305081
M. Bagić Babac, "Verification of dynamic epistemic properties in multi-agent systems", Doctoral thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2009. Available at: https://urn.nsk.hr/urn:nbn:hr:168:305081