Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time
| Title | Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Hermanns, H, Turrini, A |
| Editor | D'Souza, D, Kavitha, T, Radhakrishnan, J |
| Conference Name | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India |
| Publisher | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik |
| ISBN Number | 978-3-939897-47-7 |
Work Package:
WP1
