%0 Journal Article
%A V. V. Nikiforov
%A V. I. Shkirtil
%T Checkup оf logical structure correctness for multitask software applications
%J News of the Kabardin-Balkar scientific center of RAS
%D 2011
%P 213-216
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IZKAB_2011_1_a37/
%G ru
%F IZKAB_2011_1_a37