%0 Journal Article
%A A. R. Gnatenko
%A V. A. Zakharov
%T On the expressive power of some extensions of linear temporal logic
%J Modelirovanie i analiz informacionnyh sistem
%D 2018
%P 506-524
%V 25
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2018_25_5_a4/
%G ru
%F MAIS_2018_25_5_a4