Вы здесь

Automatic Verification of Real-Time Systems with Discrete Probability Distributions

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.75-95.
Библиография: 
Bibliogr.: p.94-95
Том: 
1601
Карточка: 

Б2.23, А3.45.

Kwiatkowska M., Norman G., Segala R., Sproston J..

Automatic Verification of Real-Time Systems with Discrete Probability Distributions// Lecture Notes in Computer Science-1999.-Vol. 1601.-P.75-95.
Bibliogr.: p.94-95

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