On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation
| Title | On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation |
| Publication Type | Journal Article |
| Year of Publication | 2013 |
| Authors | Hashemi, V, Hermanns, H, Turrini, A |
| Journal | {ECEASST} |
| Volume | 66 |
| URL | http://journal.ub.tu-berlin.de/eceasst/article/view/895 |
Work Package:
WP1
