Husain Aljazzar, Holger Hermanns, Stefan Leue. Counterexamples for Timed Probabilistic Reachability. In Paul Pettersson, Wang Yi, editors, Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Volume 3829 of Lecture Notes in Computer Science, pages 177-195, Springer, 2005.
Abstract is missing.