Deciding Bisimilarities on Distributions
| Title | Deciding Bisimilarities on Distributions |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Eisentraut, C, Hermanns, H, Krämer, J, Turrini, A, Zhang, L |
| Editor | Joshi, KR, Siegle, M, Stoelinga, M, D'Argenio, PR |
| Conference Name | Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings |
| Publisher | Springer |
| ISBN Number | 978-3-642-40195-4 |
Work Package:
WP1
