Вы здесь

Compositional Verification of Real-Time Applications

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1998
Стр.: 
P.176-300
Библиография: 
Bibliogr.: p.299-300
Место издания: 
Том: 
1536
Карточка: 

Б3.33, Б2.23, Б3.54.

Hooman J..

Compositional Verification of Real-Time Applications-Berlin, Heidelberg.// Lecture Notes in Computer Science, 1998.-Vol. 1536.-P.176-300-(Lecture Notes in Computer Science).
Bibliogr.: p.299-300

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