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