@article{IZKAB_2011_1_a37,
     author = {V. V. Nikiforov and V. I. Shkirtil},
     title = {Checkup {\cyro}f logical structure correctness for multitask software applications},
     journal = {News of the Kabardin-Balkar scientific center of RAS},
     pages = {213--216},
     publisher = {mathdoc},
     number = {1},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IZKAB_2011_1_a37/}
}