Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Ramakrishnan C. R.

Ramakrishnan I. V.

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

1

Вид:

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

Год:

2002

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

логическое программирование

проверка

реальное время

Стр.:

P.100-114

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

Bibliogr.: p.113-114

Источник:

Lecture Notes in Computer Science

Том:

2401

Карточка:

Б2.2, Б3.5.

Pemmasai G., Ramakrishnan C. R., Ramakrishnan I. V..

Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints// Lecture Notes in Computer Science-2002.-Vol. 2401.-P.100-114
Bibliogr.: p.113-114

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

PAP25 333