Buchholz P, Kriege J, Scheftelowitsch D. Equivalence and Minimization for Model Checking Labeled Markov Chains. EAI Endorsed Scal Inf Syst [Internet]. 2016 Jan. 4 [cited 2024 Dec. 5];3(11):e2. Available from: https://publications.eai.eu/index.php/sis/article/view/2250