BAIER, C., HERMANNS, H., KATOEN, J.-P., & HAVERKORT, B. R. (2005, January 1). Efficient computation of time-bounded reachability probabilities in uniform continuous-time markov decision processes. 345(1). Amsterdam: Elsevier, 2005. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17286821
ISO-690 (author-date, English)BAIER, Christel, HERMANNS, Holger, KATOEN, Joost-Pieter and HAVERKORT, Boudewijn R, 2005. Efficient computation of time-bounded reachability probabilities in uniform continuous-time markov decision processes. In: [online]. Amsterdam: Elsevier, 2005. 1 January 2005. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17286821
Modern Language Association 9th editionBAIER, C., H. HERMANNS, J.-P. KATOEN, and B. R. HAVERKORT. Efficient computation of time-bounded reachability probabilities in uniform continuous-time markov decision processes. no. 1, Amsterdam: Elsevier, 2005., 2005, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17286821.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
BAIER, C., HERMANNS, H., KATOEN, J.-P. and HAVERKORT, B.R. (2005), “Efficient computation of time-bounded reachability probabilities in uniform continuous-time markov decision processes”, in , Vol. 345, Amsterdam: Elsevier, 2005., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17286821.