EEMCS

Berendsen, J. and Jansen, D.N. and Katoen, J.P. (2006) Probably on time and within budget: on reachability in priced probabilistic timed automata. Technical Report TR-CTIT-06-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Berendsen, J. and Jansen, D.N. and Katoen, J.P. (2006) Probably on time and within budget - On reachability in priced probabilistic timed automata. In: Quantitative Evaluation of Systems (QEST), Riverside, US. pp. 311-322. IEEE Computer Society. ISBN 0-7695-2665-9