Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch. Equivalence and Minimization for Model Checking Labeled Markov Chains. EAI Endorsed Trans. Scalable Information Systems, 3(11), 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.