Efficient Modelling and Generation of Markov Automata.

Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Marille Stoelinga

Browse the full CONCUR paper archive.