Efficient Modelling and Generation of Markov Automata (extended version)

Mark Timmer, Joost P. Katoen, Jan Cornelis van de Pol, Mariëlle Ida Antoinette Stoelinga

    Research output: Book/Report › Report › Academic

    88 Downloads (Pure)

    Fingerprint

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