Details for the publication BerendsenJK06.

Jasper Berendsen, David N. Jansen (), Joost-Pieter Katoen (): Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. In Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, pages 311-322, 2006. DOI BIB