Abstraction in Software Model Checking: Principles and Practice

Вы здесь

Автор:

Dams D.

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

Вид:

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

Год:

2002

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

модель

проверка

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

Стр.:

P.14-21

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

Bibliogr.: p.17-21

Издательство:

Springer

Источник:

Lecture Notes in Computer Science

Том:

2318

Карточка:

Б2.2, Б3.54, Б1.5.

Dams D..

Abstraction in Software Model Checking: Principles and Practice: Springer// Lecture Notes in Computer Science-2002.-Vol. 2318.-P.14-21
Bibliogr.: p.17-21

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

PAP24 775