Publication

[EisentrautHSTZ17] The Quest for Minimal Quotients for Probabilistic and Markov Automata Eisentraut, C.; Hermanns, H.; Schuster, J.; Turrini, A. and Zhang, L. In Information and Computation, 2017.
Note: Accepted for publication
Downloads: bib