00967naa#a2200217#i#4500001001500000005001700015011001400032100004100046101000800087102000700095200017800102210012800280215001000408608004500418675015200463700003000615700003200645700002600677700002600703856002000729RU\\bibl\7818620260219102353.4##a1819-4036##a20140425b2014####ek#y0rusy0150####ca0#aRUS##aRU1#aФормальная верификация при проектировании сверхбольших интегральных схемeЖурнальная статья1#aКрасноярскcКрасноярский государственный аграрный университетd2014##a2 с.##aЖурнальная статья2local##aОбнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42zRUS#1aТитовскаяgТ С#1aНепомнящийgО В#1aЛеоноваgА В#1aКомаровgА А4#avestnik.kgau.ru