Abstraction and Modular Verification of Infinite-State Reactive Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1998

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

верификация

модульный

реактивный

Стр.:

P.273-292.

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

Bibliogr.: p.290-292

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

Источник:

Lecture Notes in Computer Science

Том:

1526

Карточка:

Б2.23, Б3.54, Б3.33.

Manna Z., Colon M. A., Finkbeiner B., Sipma H. B., Uribe T. E..

Abstraction and Modular Verification of Infinite-State Reactive Systems: Springer// Lecture Notes in Computer Science-1998.-Vol. 1526.-P.273-292.
Bibliogr.: p.290-292

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

PAP18 928