Browsing eNauka
Browsing by Author Rubin, Sasha
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2025 | Reusable Formal Verification of DAG-Based Consensus Protocols | Bertrand, Nathalie; Ghorpade, Pranav; Rubin, Sasha; Scholz, Bernhard; Subotic, Pavle | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |