@conference {167, title = {Deciding Bisimilarities on Distributions}, booktitle = {Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8054}, year = {2013}, pages = {72-88}, publisher = {Springer}, organization = {Springer}, isbn = {978-3-642-40195-4}, author = {Christian Eisentraut and Holger Hermanns and Julia Kr{\"a}mer and Andrea Turrini and Lijun Zhang}, editor = {Kaustubh R. Joshi and Markus Siegle and Mari{\"e}lle Stoelinga and Pedro R. D{\textquoteright}Argenio} }