Incremental Model Checking for Decomposable Structures (Extended Abstract) | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

проверка

Стр.:

P.540-551

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

Bibliogr.: p.551

Место издания:

Серия:

Lecture Notes in Computer Science

Источник:

Mathematical Foundations of Computer Science 1995

Том:

969

Карточка:

Б2.1.

Makowsky J. A., Ravve E. V..

Incremental Model Checking for Decomposable Structures (Extended Abstract)-Berlin, Heidelberg.// Mathematical Foundations of Computer Science 1995, 1995.-Vol. 969.-P.540-551-(Lecture Notes in Computer Science).
Bibliogr.: p.551

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

PAP13 394