Peter Buchholz 0001, Jan Kriege, Dimitri Scheftelowitsch. Equivalence and Minimization for Model Checking Labeled Markov Chains. In William J. Knottenbelt, Katinka Wolter, Ana Busic, Marco Gribaudo, Philipp Reinecke, editors, VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, Berlin, Germany, December 14-16, 2015. pages 119-126, ACM, 2015. [doi]
Abstract is missing.