Istraživači
Marinković, Bojan
Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
---|---|---|---|---|
2022 | Federating digital contact tracing using structured overlay networks (✓) | Ghilezan, Silvia ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Naučni članak | 23M23 - Rad u međ. časopisu |
2020 | Correctness of the chord protocol | Marinković, Bojan ![]() ![]() ![]() ![]() | Naučni članak | 23M23 - Rad u međ. časopisu |
2019 | Proving properties of the Chord protocol using the ASM formalism | Marinković, Bojan ![]() ![]() ![]() ![]() | Naučni članak | 23M23 - Rad u međ. časopisu |