Для цитирования:

Коннов И.В., Захаров В.А. Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени. Моделирование и анализ информационных систем. 2010;17(4):78-87.

For citation:

Konnov I.V., Zakharov V.A. The application of adaptive symmetry reduction for LTL model checking. Modeling and Analysis of Information Systems. 2010;17(4):78-87. (In Russ.)