prikaz prve stranice dokumenta Verification of dynamic epistemic properties in multi-agent systems
No public access
doctoral thesis
Verification of dynamic epistemic properties in multi-agent systems

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). 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 02 July 2020, 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 2020 July 02] 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

Islandora Bookmark - Please login to use this feature