Axioms for Real-Time Logics

Вы здесь

Автор:

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

Вид:

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

Год:

1998

Стр.:

P.219-236.

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

Bibliogr.: p.235-236

Издательство:

Источник:

Том:

1466

Карточка:

Б2.14.

Raskin J. -F., Schobbens P. -Y., Henzinger T. A..

Axioms for Real-Time Logics: Springer// Lecture Notes in Computer Science-1998.-Vol. 1466.-P.219-236.
Bibliogr.: p.235-236

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

PAP18 512