Полное описание

004.312-048.24/W24-567434
Wang, C. Abstraction refinement for large scale model checking / C. Wang, G. D. Hachtel, F. Somenzi. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2006. - (Series on integrated circuits and systems, ISSN 1558-9412). - URL: http://dx.doi.org/10.1007/0-387-34600-7. - ISBN 978-0-387-34600-7.

ГРНТИ	УДК
50.09.29	004.312'12

Рубрики:
Логические схемы -- Верификация

Доп. точки доступа:
Hachtel, G.D.
Somenzi, F.
SpringerLink (Online service)

http://dx.doi.org/10.1007/0-387-34600-7

Просмотр издания