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

Search Tools: