Playing Games with Timed Games

Alexandre David, Kim Guldstrand Larsen, Thomas Chatain

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskning

OriginalsprogEngelsk
TitelPlaying Games with Timed Games
Antal sider15
Vol/bindLSV-08-34
UdgivelsesstedCachan, France
ForlagLaboratoire Spécification et Vérification
Publikationsdato2008
StatusUdgivet - 2008

Citationsformater

David, A., Larsen, K. G., & Chatain, T. (2008). Playing Games with Timed Games. I Playing Games with Timed Games (Bind LSV-08-34). Laboratoire Spécification et Vérification. http://www.lsv.ens-cachan.fr/~chatain/publis_chatain.php?onlykey=LSV:08:34