A Really Temporal Logic | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Henzinger T. A.

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

1

Вид:

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

Год:

1994

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

верификация

темпоральный

формальный

дискретный

Стр.:

P.181-204.

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

Bibliogr.: p.202-204.

Источник:

Номер:

1

Том:

41

Карточка:

Б3.44, Б2.13, Б3.54.

Alur R., Henzinger T. A..

A Really Temporal Logic// J. of the ACM-1994, №1.-Vol. 41.-P.181-204.
Bibliogr.: p.202-204.

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

ACM3 646