TY  - RPRT
TI  - MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
AU  - Bettina Braitling
AU  - Luis María Ferrer Fioriti
AU  - Hassan Hatefi
AU  - Ralf Wimmer
AU  - Bernd Becker
AU  - Holger Hermanns
PY  - 2014
DO  - 10.4204/eptcs.154.4
UR  - https://arxiv.org/abs/1406.2068
ID  - 1406.2068
ER  -