Composite Model-Checking: Verification with Type-Specific Symbolic Representations | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2000

Ключевые слова:

верификация

проверка

Стр.:

P.3-50.

Библиография:

Bibliogr.: p.47-50

Источник:

ACM Trans. on Software Engineering and Methodology

Номер:

1

Том:

9

Карточка:

Б3.54, Б2.23.

Bultan T., Gerber R., League C..

Composite Model-Checking: Verification with Type-Specific Symbolic Representations// ACM Trans. on Software Engineering and Methodology-2000, №1.-Vol. 9.-P.3-50.
Bibliogr.: p.47-50

Таблица в старой библиотеке:

ACM6 354