Computing Conditional Probabilities in Markovian Models Efficiently
| Title | Computing Conditional Probabilities in Markovian Models Efficiently |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Baier, C, Klein, J, Klüppelholz, S, Märcker, S |
| Conference Name | Proc. of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) |
| Publisher | Springer |
Work Package:
WP1
