%0 Journal Article %A P. N. Devyanin %T Correctness of state transformation rules in MROSL DP-model %J Prikladnaya Diskretnaya Matematika. Supplement %D 2013 %P 58-59 %N 6 %I mathdoc %U http://geodesic.mathdoc.fr/item/PDMA_2013_6_a27/ %G ru %F PDMA_2013_6_a27