Christel Baier. Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata. In Traian Muntean, Dimitrios Poulakis, Robert Rolland, editors, Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings. Volume 8080 of Lecture Notes in Computer Science, pages 4-5, Springer, 2013. [doi]
Abstract is missing.