Вы здесь

Parker D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Symmetry Reduction for Probabilistic Model Checking 2006 Kwiatkowska M., Norman G., Parker D. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006
СТ PRISM: Probabilistic Symbolic Model Checker 2002 Kwiatkowska M., Norman G., Parker D. Lecture Notes in Computer Science 29.05.2002
СТ Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach 2002 Kwiatkowska M., Norman G., Parker D. Lecture Notes in Computer Science 21.05.2002
СТ Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation 2000 De Alfaro L., Kwiatkowska M., Norman G., Parker D., Segala R. Lecture Notes in Computer Science 26.04.2000