Computing Conditional Probabilities in Markovian Models Efficiently.

Christel Baier, Joachim Klein, Sascha Klppelholz, Steffen Mrcker

Browse the full TACAS paper archive.