@inproceedings{avacs-h3-brg-11,Author = {Quesel, Jan-David and Fränzle, Martin and Damm, Werner},Title = {Crossing the bridge between similar games},Year = {2011},Month = {01},Editor = {Stavros Tripakis and Uli Fahrenberg},Publisher = {Springer-Verlag},Series = {Lecture Notes in Computer Science (LNCS)},Booktitle = {Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings},type = {inproceedings}}@COMMENT{Bibtex file generated on }