Publications

Filters: Author is Julia Krämer [Clear All Filters]

2013

C. Eisentraut, H. Hermanns, J. Krämer, A. Turrini, and L. Zhang, “Deciding Bisimilarities on Distributions”, in Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, 2013, vol. 8054, p. 72-88.