Browsing eNauka
Browsing by Author Ghorpade, Pranav
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 | Conference Paper | Mp. category will be shown later |