00963naa#a2200217#i#4500001001500000005001700015011001400032100004100046101000800087102000700095200017800102210012800280215001000408608004500418675015200463700003000615700003200645700002600677700002600703856001600729RU\\bibl\7818620260220210528.5##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#asej.kgau.ru