@book{1567953,
	author = {Стемпковский, А. Л. and Гаврилов, С. В.},
	title = {Методы логического и логико-временного анализа цифровых КМОП СБИС},
	publisher = {Наука},
	year = {2007},
	address = {Москва},
	note = {В конце кн. авт.: Стемпковский А.Л. - акад. РАН, лауреат Гос. премии РФ, проф., Гаврилов С.В. - к.т.н., Глебов А.Л. - д.т.н.}
}