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}
}
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