Истраживачи
Marinković, Bojan
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2019 | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | Marinković, Bojan ![]() ![]() ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2014 | A propositional linear time logic with time flow isomorphic to $omega^2$ (✓) | Marinković, Bojan ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |