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