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

Климов А.В. Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем. Моделирование и анализ информационных систем. 2011;18(4):106-117.

For citation:

Klimov A.V. A Simple Algorithm for Solving the Coverability Problem for Monotonic Counter Systems. Modeling and Analysis of Information Systems. 2011;18(4):106-117. (In Russ.)