View of Equivalence and Minimization for Model Checking Labeled Markov Chains

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