9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1: Probabilistic Models > 26-42
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1: Probabilistic Models > 43-59
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1: Probabilistic Models > 60-79
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1: Probabilistic Models > 80-96