%0 Journal Article
%A S. V. Kubasov
%T Verification of synchronous-automaton programs
%J Modelirovanie i analiz informacionnyh sistem
%D 2007
%P 20-27
%V 14
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2007_14_4_a3/
%G ru
%F MAIS_2007_14_4_a3