Publikation

Titel

Crossing the bridge between similar games

Publikationsart

Tagungsbeitrag

Alle Autoren

Quesel, Jan-David; Fränzle, Martin; Damm, Werner

Buchtitel

Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings

Erscheinungsdatum

2011

Serie

Lecture Notes in Computer Science (LNCS)

Herausgeber

Stavros Tripakis and Uli Fahrenberg

Verlag

Springer-Verlag