A Modest Approach to Modelling and Checking Markov Automata

Yuliya Butkova, Arnd Hartmanns*, Holger Hermanns

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'A Modest Approach to Modelling and Checking Markov Automata'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science