Buchholz, P., Kriege, J. and Scheftelowitsch, D. 2016. Equivalence and Minimization for Model Checking Labeled Markov Chains. EAI Endorsed Transactions on Scalable Information Systems. 3, 11 (Jan. 2016), e2. DOI:https://doi.org/10.4108/eai.14-12-2015.2262622.