Для цитирования: Гаранина Н.О. Оптимизационные процедуры в аффинной проверке моделей. Моделирование и анализ информационных систем. 2011;18(4):56-67. https://doi.org/10.18255/1818-1015-2011-4-56-67

For citation: Garanina N.O. Optimization Procedures in Affine Model Checking. Modeling and Analysis of Information Systems. 2011;18(4):56-67. (In Russ.) https://doi.org/10.18255/1818-1015-2011-4-56-67