TY  - BOOK
AU  - Тренькаев,Вадим Николаевич
ED  - Томский государственный университет.
TI  - Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов: Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
PY  - 2000///
CY  - Томск
KW  - Управление в технических системах
KW  - БВАК1995N4
KW  - авторефераты диссертаций
N1  - Библиогр.: с. 22-23
ER  -