Lasse Leskelä. Computational methods for stochastic relations and Markovian couplings. In Giovanni Stea, Jean Mairesse, José Mendes, editors, 4th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS '09, Pisa, Italy, October 20-22, 2009. pages 19, ACM, 2009. [doi]
Abstract is missing.