Search Results - Ruslan Maratovich Rezin

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Architecture of the Formally-Verified Distributed Ledger System InnoChain

    Architecture of the Formally-Verified Distributed Ledger System InnoChain by Leonid Al'bertovich Merkin-Janson, Ruslan Maratovich Rezin, Nikolay Konstantinovich Vasilyev

    Published 2020-12-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels

    InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels by Vladimir Aleksandrovich Kukharenko, Kirill Viktorovich Ziborov, Rafael Faritovich Sadykov, Alexandr Vladimirovich Naumchev, Ruslan Maratovich Rezin, Leonid Albertovich Merkin-Janson

    Published 2020-12-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: