%0 Journal Article
%A K. A. Vasileva
%A E. V. Kuzmin
%T LTL Verification of Automaton Programs
%J Modelirovanie i analiz informacionnyh sistem
%D 2007
%P 31-43
%V 14
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2007_14_1_a4/
%G ru
%F MAIS_2007_14_1_a4