%0 Journal Article
%A N. Yu. Kutsak
%A V. V. Podymov
%T Formal verification of three-valued digital waveforms
%J Modelirovanie i analiz informacionnyh sistem
%D 2019
%P 332-350
%V 26
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2019_26_3_a1/
%G ru
%F MAIS_2019_26_3_a1