LDR 00967naa#a2200217#i#450#
001     RU\\bibl\78186
005     20260220004250.5
011 ## _a1819-4036
100 ## _a20140425b2014####ek#y0rusy0150####ca
101 0# _aRUS
102 ## _aRU
200 1# _aФормальная верификация при проектировании сверхбольших интегральных схем
       _eЖурнальная статья
210 1# _aКрасноярск
       _cКрасноярский государственный аграрный университет
       _d2014
215 ## _a2 с.
608 ## _aЖурнальная статья
       _2local
675 ## _aОбнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42
       _zRUS
700 #1 _aТитовская
       _gТ С
700 #1 _aНепомнящий
       _gО В
700 #1 _aЛеонова
       _gА В
700 #1 _aКомаров
       _gА А
856 4# _avestnik.kgau.ru
       _u