%0 Journal Article
%A S. V. Kubasov
%T Verification of Synchronous-automaton Programs using LTL
%J Modelirovanie i analiz informacionnyh sistem
%D 2008
%P 46-49
%V 15
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2008_15_2_a6/
%G ru
%F MAIS_2008_15_2_a6