Дедуктивной анализ тестов в синхронных цифровых схемах без обратных связей
Viilup, Agu
;
Kitsnik, Peeter
;
Ubar, Raimund-Johannes
Материалы конференции "Автоматизация технического проектирования ЦВМ" (май-июнь 1977 г.)
1977
/
с. 178-181