TY  - GEN
AU  - Лештаев Максим Александрович
AU  - Прокопенко,Светлана Анатольевна
TI  - К синтезу проверяющих тестов для программной реализации протокола DCCP
KW  - информационные технологии
KW  - труды ученых ТГУ
KW  - дискретные структуры
KW  - проверяющие тесты
KW  - DCCP, протокол
KW  - расширенные автоматы
N1  - Библиогр.: 2 назв
ER  -