TY  - RPRT
TI  - Modelling, Reduction and Analysis of Markov Automata (extended version)
AU  - Dennis Guck
AU  - Hassan Hatefi
AU  - Holger Hermanns
AU  - Joost-Pieter Katoen
AU  - Mark Timmer
PY  - 2013
UR  - https://arxiv.org/abs/1305.7050
ID  - 1305.7050
ER  -