Showing 1 - 1 results of 1 for search 'Sadykov Rafael', query time: 0.02s Refine Results
  1. 1
    Verification of HotStuff BFT Consensus Protocol With TLA+/TLC in an Industrial Setting

    Verification of HotStuff BFT Consensus Protocol With TLA+/TLC in an Industrial Setting by Kukharenko Vladimir, Ziborov Kirill, Sadykov Rafael, Rezin Ruslan

    Published 2021-01-01
    Get full text
    Article

Search Tools: