Вы здесь

Bailey A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automatic Verification of Speed-Independent Circuit Designs Using the Circal System 1993 Bailey A. Lecture Notes in Computer Science 29.06.1993