Вы здесь

A Temporal Logic of Nested Calls and Returns

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Стр.: 
P.467-481
Библиография: 
Bibliogr.: p.480-481
Издательство: 
Том: 
2988
Карточка: 

Б2.13.

Alur R., Etessami K., Madhusudan P..

A Temporal Logic of Nested Calls and Returns: Springer// Lecture Notes in Computer Science-2004.-Vol. 2988.-P.467-481
Bibliogr.: p.480-481

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