TY  - JOUR
AU  - P. N. Devyanin
TI  - Correctness of state transformation rules in MROSL DP-model
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2013
SP  - 58
EP  - 59
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2013_6_a27/
LA  - ru
ID  - PDMA_2013_6_a27
ER  -