Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is D and Author is C. Eisentraut  [Clear All Filters]
Conference Paper
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.