Для цитирования:
Кузьмин Е.В., Чалый Д.Ю. О множестве достижимости автоматных трехсчетчиковых машин. Моделирование и анализ информационных систем. 2009;16(3):77-84.
For citation:
Kuzmin E.V., Chalyy D.J. On a reachability set of automaton 3-counter machines. Modeling and Analysis of Information Systems. 2009;16(3):77-84. (In Russ.)