%0 Journal Article
%A E. V. Kuzmin
%T LTL-specification of bounded counter machines
%J Modelirovanie i analiz informacionnyh sistem
%D 2022
%P 44-59
%V 29
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2022_29_1_a3/
%G ru
%F MAIS_2022_29_1_a3