Resets vs. Aborts in Linear Temporal Logic | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2003

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

линейный

проверка

Стр.:

P.65-80

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

Bibliogr.: p.79-80

Источник:

Lecture Notes in Computer Science

Том:

2619

Карточка:

Б2.2, Б2.1.

Armoni R., Bustan D., Kupferman O., Vardi M. Y..

Resets vs. Aborts in Linear Temporal Logic// Lecture Notes in Computer Science-2003.-Vol. 2619.-P.65-80
Bibliogr.: p.79-80

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

PAP26 653