1. |
V. A. Kukharenko, K. V. Ziborov, R. F. Sadykov, A. V. Naumchev, R. M. Rezin, L. A. Merkin-Janson, “InnoChain: a distributed ledger for industry with formal verification on all implementation levels”, Model. Anal. Inform. Sist., 27:4 (2020), 454–471 |
5
|