https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 BDD and DNF based algorithms for constructing all testability functions of combinational circuit https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000891951 Fri 15 Apr 2022 12:40:24 KRAT ]]>