Bounded Model Checking Using Satisfiability Solving

Edmund Clarke, Armin Biere, Richard Raimi, Yunshan Zhu

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Том:

Мова:

english

Сторінки:

DOI:

10.1023/a:1011276507260

Date:

July, 2001

Файл:

PDF, 149 KB

english, 2001

Виконується конвертація в

Конвертація в не вдалась