Originalsprog | Engelsk |
---|---|
Titel | Playing Games with Timed Games |
Antal sider | 15 |
Vol/bind | LSV-08-34 |
Udgivelsessted | Cachan, France |
Forlag | Laboratoire Spécification et Vérification |
Publikationsdato | 2008 |
Status | Udgivet - 2008 |
Playing Games with Timed Games
Alexandre David, Kim Guldstrand Larsen, Thomas Chatain
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til rapport › Forskning