View of Equivalence and Minimization for Model Checking Labeled Markov Chains

Return to Issue Details Equivalence and Minimization for Model Checking Labeled Markov Chains Download Download PDF