Вы здесь

On the Specification and Verification of Performance Properties for a Timed Process Algebra

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1997
Стр.: 
P.123-137.
Библиография: 
Bibliogr.: p.136-137
Издательство: 
Том: 
1349
Карточка: 

Б2.15.

Chen X. J., Corradini F..

On the Specification and Verification of Performance Properties for a Timed Process Algebra: Springer// Lecture Notes in Computer Science-1997.-Vol. 1349.-P.123-137.
Bibliogr.: p.136-137

Таблица в старой библиотеке: 
PAP17 263