@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 }