Вы здесь

Decidable Model Checking of Probabilistic Hybrid Automata

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
P.31-45
Библиография: 
Bibliogr.: p.44-45
Издательство: 
Том: 
1926
Карточка: 

А2.2, Б2.13.

Sproston J..

Decidable Model Checking of Probabilistic Hybrid Automata: Springer// Lecture Notes in Computer Science-2000.-Vol. 1926.-P.31-45
Bibliogr.: p.44-45

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