https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 Robust PDFs testing of combinational circuits based on covering BDDs https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000442846 Fri 22 Sep 2017 16:28:06 KRAT ]]>