еНаука - преглед
Преглед према Аутор Glavan, Paola
Приказ резултата 1 до 4 од 4
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2019 | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | Marinković, Bojan | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2015 | Analyzing the exhaustiveness of the Synapse protocol | Marinković, Bojan | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2020 | Correctness of the chord protocol | Marinković, Bojan | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2019 | Proving properties of the Chord protocol using the ASM formalism | Marinković, Bojan | Научни чланак | 22M22 - Међународни часопис категорије M22 |