Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is J. P. Krämer  [Clear All Filters]
2013
Eisentraut C., Hermanns H., Krämer J.P, Turini A., Zhang L..  2013.  Deciding Bisimilarities on Distributions. 10th International Conference on Quantitative Evaluation of Systems (QEST), Buenos Aires, Argentina. 8054:72–88.