, Ostanin Sergey A., , Matrosova Anzhela Yu., , Singh Virendra, Nikolaeva Ekaterina A., «Построение тестов для неисправностей задержек робастно тестируемых путей для комбинационных схем, построенныхпокрытием BDD-графов» // 2012. №3(20) C.129-138