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

Башкин В.А. Построение приближений бисимуляции в односчетчиковых сетях. Моделирование и анализ информационных систем. 2011;18(4):33-44.

For citation:

Bashkin V.A. Approximating Bisimulation in One-counter Nets. Modeling and Analysis of Information Systems. 2011;18(4):33-44. (In Russ.)