Информатика, вычислительная техника и управление. Диссертация Методы логического и логико-временного анализа для САПР нанометровых КМОП СБИС : диссертация ... доктора технических наук : 05.13.12, Москва, 2007