Bagić Babac, Marina: Verification of dynamic epistemic properties in multi-agent systems

Ukupno Pogleda / Preuzimanja

Lokacije Pogleda / Preuzimanja