Modelling, Reduction and Analysis of Markov Automata (extended version)

Dennis Guck, Hassan Hatefi, H. Hermanns, Joost P. Katoen, Mark Timmer

    Research output: Book/Report › Report › Academic

    81 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Modelling, Reduction and Analysis of Markov Automata (extended version)'. Together they form a unique fingerprint.