Вы здесь

PRISM: Probabilistic Symbolic Model Checker

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2002
Ключевые слова: 
Стр.: 
P.200-204
Библиография: 
Bibliogr.: p.204
Издательство: 
Том: 
2324
Карточка: 

Б2.23, Б3.54.

Kwiatkowska M., Norman G., Parker D..

PRISM: Probabilistic Symbolic Model Checker: Springer// Lecture Notes in Computer Science-2002.-Vol. 2324.-P.200-204
Bibliogr.: p.204

Таблица в старой библиотеке: 
PAP24 936