Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata
| Title | Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Baier, C |
| Conference Name | Algebraic Informatics, 5th International Conference, CAI13 |
| Publisher | Springer |
| DOI | 10.1007/978-3-642-40663-8_2 |
Work Package:
WP1
