cfaed Publications

Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata

Reference

Christel Baier, "Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata" , Chapter in Algebraic Informatics, Springer, pp. 4–5, 2013. [doi]

Bibtex

@incollection{baier2013quantitative,
title={Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata},
author={Baier, Christel},
booktitle={Algebraic Informatics},
pages={4--5},
year={2013},
publisher={Springer},
doi={10.1007/978-3-642-40663-8_2}
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=52


Go back to publications list