cfaed Publications
Computing conditional probabilities in Markovian models efficiently
Reference
Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, "Computing conditional probabilities in Markovian models efficiently", Chapter in Tools and Algorithms for the Construction and Analysis of Systems, Springer, pp. 515–530, 2014. [doi]
Bibtex
@incollection{baier2014computing,
title={Computing conditional probabilities in Markovian models efficiently},
author={Baier, Christel and Klein, Joachim and Kl{\"u}ppelholz, Sascha and M{\"a}rcker, Steffen},
booktitle={Tools and Algorithms for the Construction and Analysis of Systems},
pages={515--530},
year={2014},
publisher={Springer},
doi={10.1007/978-3-642-54862-8_43}
}
title={Computing conditional probabilities in Markovian models efficiently},
author={Baier, Christel and Klein, Joachim and Kl{\"u}ppelholz, Sascha and M{\"a}rcker, Steffen},
booktitle={Tools and Algorithms for the Construction and Analysis of Systems},
pages={515--530},
year={2014},
publisher={Springer},
doi={10.1007/978-3-642-54862-8_43}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=59