Text this: Синтез проверяющих тестов для неисправностей задержек путей схем, построенных по системе ROBDD-графов; Известия Томского политехнического университета [Известия ТПУ]; Т. 315, № 5: Управление, вычислительная техника и информатика