Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario. Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. In Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy. pages 13-22, IEEE Computer Society, 2005. [doi]
Abstract is missing.