TY - JOUR AU - A. M. Mironov AU - S. L. Frenkel TI - Minimization of probabilistic models of programs JO - Fundamentalʹnaâ i prikladnaâ matematika PY - 2014 SP - 121 EP - 163 VL - 19 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/FPM_2014_19_1_a6/ LA - ru ID - FPM_2014_19_1_a6 ER -