Deciding Bisimilarities on Distributions

TitleDeciding Bisimilarities on Distributions
Publication TypeConference Paper
Year of Publication2013
AuthorsEisentraut, C, Hermanns, H, Krämer, J, Turrini, A, Zhang, L
EditorJoshi, KR, Siegle, M, Stoelinga, M, D'Argenio, PR
Conference NameQuantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
ISBN Number978-3-642-40195-4
Work Package: