Вы здесь
Combining Forward and Backward Analyses of Temporal Properties
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2001
Ключевые слова:
Стр.:
P.103-116
Библиография:
Bibliogr.: p.116
Издательство:
Источник:
Том:
2053
Карточка:
Б2.2, Б2.1.
Masse D..
Combining Forward and Backward Analyses of Temporal Properties: Springer// Lecture Notes in Computer Science-2001.-Vol. 2053.-P.103-116
Bibliogr.: p.116
Таблица в старой библиотеке:
PAP23 122