%0 Journal Article
%A E. V. Kuzmin
%T LTL-specification of counter machines
%J Modelirovanie i analiz informacionnyh sistem
%D 2021
%P 104-119
%V 28
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2021_28_1_a6/
%G ru
%F MAIS_2021_28_1_a6