Cost Preserving Bisimulations for Probabilistic Automata
| Title | Cost Preserving Bisimulations for Probabilistic Automata |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Hermanns, H, Turrini, A |
| Editor | D'Argenio, PR, Melgratti, HC |
| Conference Name | CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings |
| Publisher | Springer |
| ISBN Number | 978-3-642-40183-1 |
Work Package:
WP1
