Об автоматизации процедур синтеза тестов для дискретных систем на модели альтернативных графов

location of publication
Таллин
year of publication
pages
с. 104-109
series variant title
TPI Toimetised ; 626
Труды ТПИ ; 626
notes
Библиогр. : 5 назв
language
vene