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

Гаранина Н.О. Проверка моделей распределенных систем с помощью аффинного представления данных. Моделирование и анализ информационных систем. 2010;17(4):52-59.

For citation:

Garanina N.O. Model Checking of Distributed Systems with Affine Data Structures. Modeling and Analysis of Information Systems. 2010;17(4):52-59. (In Russ.)