Вы здесь

How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.162-175.
Библиография: 
Bibliogr.: p.174-175.
Издательство: 
Том: 
630
Карточка: 

Б2.4, Б3.33.

Pnueli A..

How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems: Springer// Lecture Notes in Computer Science-1992.-Vol. 630.-P.162-175.
Bibliogr.: p.174-175.

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