Time−Bounded Verification of CTMCs Against Real−Time Specifications (9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011), 2011)

(untitled) - Chen, T; Diciolla, M; Kwiatkowska, M; Mereacre, A