Marta Z. Kwiatkowska, Gethin J. Norman, David Parker, Jeremy Sproston. Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. In Kim Guldstrand Larsen, Peter Niebert, editors, Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers. Volume 2791 of Lecture Notes in Computer Science, pages 105-120, Springer, 2003. [doi]
Abstract is missing.