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