%0 Journal Article
%A M. S. Sobolev
%T Using X-CTL logic to implement  formal verification of X-machines
%J Informacionnye tehnologii i vyčislitelnye sistemy
%D 2010
%P 47-52
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ITVS_2010_3_a5/
%G ru
%F ITVS_2010_3_a5