%0 Journal Article
%A L. A. Merkin-Janson
%A R. M. Rezin
%A N. K. Vasilyev
%T Architecture of the formally-verified distributed ledger system innochain
%J Modelirovanie i analiz informacionnyh sistem
%D 2020
%P 472-487
%V 27
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2020_27_4_a7/
%G ru
%F MAIS_2020_27_4_a7