Вы здесь
Automated Temporal Reasoning about Reactive Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1996
Ключевые слова:
Стр.:
P.41-101.
Библиография:
Bibliogr.: p.92-101.
Издательство:
Источник:
Том:
1043
Карточка:
В2.11, А2.2, Б2.1.
Emerson E. A..
Automated Temporal Reasoning about Reactive Systems: Springer// Lecture Notes in Computer Science-1996.-Vol. 1043.-P.41-101.
Bibliogr.: p.92-101.
Таблица в старой библиотеке:
PAP14 577