@conference {203,
	title = {Computing Conditional Probabilities in Markovian Models Efficiently},
	booktitle = {Proc. of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
	year = {2014},
	publisher = {Springer},
	organization = {Springer},
	author = {Christel Baier and Joachim Klein and Sascha Kl{\"u}ppelholz and Steffen M{\"a}rcker}
}