%0 Conference Paper %1 journals/corr/BraitlingFHWBH14 %A Braitling, Bettina %A Fioriti, Luis María Ferrer %A Hatefi, Hassan %A Wimmer, Ralf %A Becker, Bernd %A Hermanns, Holger %B QAPL %D 2014 %E Bertrand, Nathalie %E Bortolussi, Luca %K dblp %P 48-63 %T MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs154.html#BraitlingFHWBH14 %V 154

@inproceedings{journals/corr/BraitlingFHWBH14, added-at = {2018-11-02T00:00:00.000+0100}, author = {Braitling, Bettina and Fioriti, Luis María Ferrer and Hatefi, Hassan and Wimmer, Ralf and Becker, Bernd and Hermanns, Holger}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2efd96be3becf81f3e993e04b10f361e2/dblp}, booktitle = {QAPL}, crossref = {journals/corr/BertrandB14}, editor = {Bertrand, Nathalie and Bortolussi, Luca}, ee = {http://arxiv.org/abs/1406.2068}, interhash = {416f5cdbc2162b1763b235bc245a0508}, intrahash = {efd96be3becf81f3e993e04b10f361e2}, keywords = {dblp}, pages = {48-63}, series = {EPTCS}, timestamp = {2019-09-27T12:27:54.000+0200}, title = {MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs154.html#BraitlingFHWBH14}, volume = 154, year = 2014 }