Для цитирования: Гаранина Н.О. Оптимизационные процедуры в аффинной проверке моделей. Моделирование и анализ информационных систем. 2011;18(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.)