Publications

Export 1 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Last Name is E 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.