Вы здесь

Local Liveness for Compositional Modeling of Fair Reactive Systems

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.166-179.
Библиография: 
Bibliogr.: p.178-179.
Том: 
939
Карточка: 

А3.45, Б2.1.

Alur R., Henzinger T. A..

Local Liveness for Compositional Modeling of Fair Reactive Systems// Lecture Notes in Computer Science-1995.-Vol. 939.-P.166-179.
Bibliogr.: p.178-179.

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