Autori: Ghorpade Pranav
| Naslov | Reusable Formal Verification of DAG-Based Consensus Protocols (Proceedings Paper) |
| Autori | Bertrand Nathalie Ghorpade Pranav Rubin Sasha Scholz Bernhard Subotic Pavle |
| Info | NASA FORMAL METHODS, NFM 2025, (2025), vol. 15682 br. , str. 138-158 |
| Projekat | Fantom Foundation; PaVeDyS project [ANR-23-CE48-0005] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
