Вы здесь
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2000
Ключевые слова:
Стр.:
P.395-410.
Библиография:
Bibliogr.: p.408-410
Издательство:
Источник:
Том:
1785
Карточка:
Б2.1, Б2.2.
De Alfaro L., Kwiatkowska M., Norman G., Parker D., Segala R..
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation: Springer// Lecture Notes in Computer Science-2000.-Vol. 1785.-P.395-410.
Bibliogr.: p.408-410
Таблица в старой библиотеке:
PAP21 272