Detecting Termination of Active Database Rules using Symbolic Model Checking | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2001

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

активный

база данных

проверка

символьный

Стр.:

P.266-279

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

Bibliogr.: p.278-279

Источник:

Lecture Notes in Computer Science

Том:

2151

Карточка:

Б2.2, Б5.5.

Ray I., Ray I..

Detecting Termination of Active Database Rules using Symbolic Model Checking// Lecture Notes in Computer Science-2001.-Vol. 2151.-P.266-279
Bibliogr.: p.278-279

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

PAP23 784