Search Results - Ziborov, Kirill

  • Showing 1 - 1 results of 1
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 in SHS web of conferences
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: