In de verdediging: Efficient Modelling, Generation and Analysis of Markov Automata

Geertje M. Hek, Mark Timmer

    Research output: Contribution to journalArticleProfessional

    35 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'In de verdediging: Efficient Modelling, Generation and Analysis of Markov Automata'. Together they form a unique fingerprint.