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