"A Modest Markov Automata Tutorial."

Arnd Hartmanns, Holger Hermanns (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics