Istraživači
Marinković, Bojan
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2019 | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | Marinković, Bojan   ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |
| 2014 | A propositional linear time logic with time flow isomorphic to $omega^2$ (✓) | Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan ; Perović, Aleksandar | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |