Crossing the bridge between similar games
Quesel, Jan-David and Fränzle, Martin and Damm, Werner
Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings
01 / 2011
inproceedings
Springer-Verlag
Lecture Notes in Computer Science (LNCS)
Stavros Tripakis and Uli Fahrenberg
OFFIS Autoren
