Использование ROBDD-графов для тестирования задержек логических схем / А. Ю. Матросова, В. В. Андреева, В. З. Тычинский, Г. Г. Гошин // Известия высших учебных заведений. Физика. 2019. Т. 62, № 5. С. 86-94. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000737145