Cost Preserving Bisimulations for Probabilistic Automata
| Title | Cost Preserving Bisimulations for Probabilistic Automata |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Turrini, A, Hermanns, H |
| Journal | Logical Methods in Computer Science |
| Volume | 10 |
| URL | http://dx.doi.org/10.2168/LMCS-10(4:11)2014 |
| DOI | 10.2168/LMCS-10(4:11)2014 |
Work Package:
WP1
