Вы здесь
A Dense-Time Temporal Logic with Nice Compositionality Properties
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1997
Ключевые слова:
Стр.:
P.123-145.
Библиография:
Bibliogr.: p.144-145
Издательство:
Источник:
Том:
1333
Карточка:
Б2.1, Б3.33.
Cau A., De Roever W. -P..
A Dense-Time Temporal Logic with Nice Compositionality Properties: Springer// Lecture Notes in Computer Science-1997.-Vol. 1333.-P.123-145.
Bibliogr.: p.144-145
Таблица в старой библиотеке:
PAP17 155