The Quest for Minimal Quotients for Probabilistic Automata
| Title | The Quest for Minimal Quotients for Probabilistic Automata |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Eisentraut, C, Hermanns, H, Schuster, J, Turrini, A, Zhang, L |
| Editor | Piterman, N, Smolka, SA |
| Conference Name | Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings |
| Publisher | Springer |
| ISBN Number | 978-3-642-36741-0 |
Work Package:
WP1
