Showing 1 - 1 results of 1 for search 'Kukharenko Vladimir', query time: 0.02s
Refine Results
-
1
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
Article