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