Вы здесь
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