Вы здесь

A Compositional Real-Time Semantics of STATEMATE Designs

Вид: 
Статья из сборника или журнала
Год: 
1998
Стр.: 
P.186-238
Библиография: 
Bibliogr.: p.237-238
Место издания: 
Том: 
1536
Карточка: 

Б2.24, Б3.33.

Damm W., Josko B., Hungar H., Pnueli A..

A Compositional Real-Time Semantics of STATEMATE Designs-Berlin, Heidelberg.// Lecture Notes in Computer Science, 1998.-Vol. 1536.-P.186-238-(Lecture Notes in Computer Science).
Bibliogr.: p.237-238

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