Bisimulations Meet PCTL Equivalences for Probabilistic Automata
| Title | Bisimulations Meet PCTL Equivalences for Probabilistic Automata |
| Publication Type | Journal Article |
| Year of Publication | 2013 |
| Authors | Song, L, Zhang, L, Godskesen, JC |
| Journal | Logical Methods in Computer Science |
| Volume | 9 |
Work Package:
WP1
