@inproceedings{braitling_megara:_2014,
	series = {{EPTCS}},
	title = {{MeGARA}: {Menu}-based {Game} {Abstraction} and {Abstraction} {Refinement} of {Markov} {Automata}},
	volume = {154},
	shorttitle = {{MeGARA}},
	doi = {10.4204/EPTCS.154.4},
	booktitle = {Proceedings {Twelfth} {International} {Workshop} on {Quantitative} {Aspects} of {Programming} {Languages} and {Systems}, {QAPL} 2014, {Grenoble}, {France}, 12-13 {April} 2014},
	author = {Braitling, Bettina and Fioriti, Luis María Ferrer and Hatefi, Hassan and Wimmer, Ralf and Becker, Bernd and Hermanns, Holger},
	editor = {Bertrand, Nathalie and Bortolussi, Luca},
	year = {2014},
	pages = {48--63},
}

{"_id":{"_str":"53bbbace823e1b37040000cf"},"__v":0,"authorIDs":["5457d87e2abc8e9f370007e5","54d6986996f9453b5f00073b"],"author_short":["Braitling, B.","Fioriti, L. M. F.","Hatefi, H.","Wimmer, R.","Becker, B.","Hermanns, H."],"bibbaseid":"braitling-fioriti-hatefi-wimmer-becker-hermanns-megaramenubasedgameabstractionandabstractionrefinementofmarkovautomata-2014","bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"EPTCS","title":"MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata","volume":"154","shorttitle":"MeGARA","doi":"10.4204/EPTCS.154.4","booktitle":"Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014","author":[{"propositions":[],"lastnames":["Braitling"],"firstnames":["Bettina"],"suffixes":[]},{"propositions":[],"lastnames":["Fioriti"],"firstnames":["Luis","María","Ferrer"],"suffixes":[]},{"propositions":[],"lastnames":["Hatefi"],"firstnames":["Hassan"],"suffixes":[]},{"propositions":[],"lastnames":["Wimmer"],"firstnames":["Ralf"],"suffixes":[]},{"propositions":[],"lastnames":["Becker"],"firstnames":["Bernd"],"suffixes":[]},{"propositions":[],"lastnames":["Hermanns"],"firstnames":["Holger"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Bertrand"],"firstnames":["Nathalie"],"suffixes":[]},{"propositions":[],"lastnames":["Bortolussi"],"firstnames":["Luca"],"suffixes":[]}],"year":"2014","pages":"48–63","bibtex":"@inproceedings{braitling_megara:_2014,\n\tseries = {{EPTCS}},\n\ttitle = {{MeGARA}: {Menu}-based {Game} {Abstraction} and {Abstraction} {Refinement} of {Markov} {Automata}},\n\tvolume = {154},\n\tshorttitle = {{MeGARA}},\n\tdoi = {10.4204/EPTCS.154.4},\n\tbooktitle = {Proceedings {Twelfth} {International} {Workshop} on {Quantitative} {Aspects} of {Programming} {Languages} and {Systems}, {QAPL} 2014, {Grenoble}, {France}, 12-13 {April} 2014},\n\tauthor = {Braitling, Bettina and Fioriti, Luis María Ferrer and Hatefi, Hassan and Wimmer, Ralf and Becker, Bernd and Hermanns, Holger},\n\teditor = {Bertrand, Nathalie and Bortolussi, Luca},\n\tyear = {2014},\n\tpages = {48--63},\n}\n\n","author_short":["Braitling, B.","Fioriti, L. M. F.","Hatefi, H.","Wimmer, R.","Becker, B.","Hermanns, H."],"editor_short":["Bertrand, N.","Bortolussi, L."],"key":"braitling_megara:_2014","id":"braitling_megara:_2014","bibbaseid":"braitling-fioriti-hatefi-wimmer-becker-hermanns-megaramenubasedgameabstractionandabstractionrefinementofmarkovautomata-2014","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.zotero.org/users/2539494/collections/QPKDCWZ2/items?key=GQZ7eSblSbBg8hlOjp5OpOAp&format=bibtex&limit=100","creationDate":"2014-07-08T09:33:02.261Z","downloads":2,"keywords":[],"search_terms":["megara","menu","based","game","abstraction","abstraction","refinement","markov","automata","braitling","fioriti","hatefi","wimmer","becker","hermanns"],"title":"MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata","year":2014,"dataSources":["ypi2bjGvbv5c7j2pz"]}