TY  - GEN
AU  - Дарусенкова,Екатерина Владимировна
TI  - Сведение решения системы параллельных автоматных неравенств к решению одного неравенства
KW  - конечные автоматы
KW  - параллельные автоматные неравенства
KW  - статьи в сборниках
N1  - Библиогр.: 2 назв
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000555405
ER  -