Вы здесь

ESTL: A Temporal Logic for Events and States

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1998
Стр.: 
P.365-384.
Библиография: 
Bibliogr.: p.383-384
Издательство: 
Том: 
1420
Карточка: 

Б2.1, Б2.42.

Kindler E., Vesper T..

ESTL: A Temporal Logic for Events and States: Springer// Lecture Notes in Computer Science-1998.-Vol. 1420.-P.365-384.
Bibliogr.: p.383-384

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