TY  - BOOK
AU  - Маргарян,Павлуш Сейранович
TI  - Разработка базовой инструментальной среды для верификации RTL описаний, полученных в результате компиляции: Автореф. ... канд. техн. наук по спец. 05.13.03- Вычислительные машины, комплексы, системы, сети, их элементы и устройства 
PY  - 2009///
CY  - Ереван
KW  - Вычислительная техника
KW  - Thesis
N1  - Ин-т проблем информатики и автоматизации НАН РА; Науч. рук.: акад. НАН РА, д.ф.-м.н., проф. С.К.Шукурян
ER  -