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

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

    Research output: Book/ReportReportAcademic

    71 Downloads (Pure)

    Fingerprint

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