%0 Journal Article %1 journals/corr/abs-0806-4956 %A de Alfaro, Luca %A Majumdar, Rupak %A Raman, Vishwanath %A Stoelinga, Mariëlle %D 2008 %J CoRR %K dblp %T Game Refinement Relations and Metrics %U http://dblp.uni-trier.de/db/journals/corr/corr0806.html#abs-0806-4956 %V abs/0806.4956

@article{journals/corr/abs-0806-4956, added-at = {2018-08-13T00:00:00.000+0200}, author = {de Alfaro, Luca and Majumdar, Rupak and Raman, Vishwanath and Stoelinga, Mariëlle}, biburl = {https://www.bibsonomy.org/bibtex/280366d475a7d1b44c57c49319748283c/dblp}, ee = {http://arxiv.org/abs/0806.4956}, interhash = {7002460abeaa7098fc8739fffabfacc3}, intrahash = {80366d475a7d1b44c57c49319748283c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T15:19:01.000+0200}, title = {Game Refinement Relations and Metrics}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0806.html#abs-0806-4956}, volume = {abs/0806.4956}, year = 2008 }