Playing Games with Timed Games

Alexandre David, Kim Guldstrand Larsen, Thomas Chatain

Research output: Contribution to book/anthology/report/conference proceedingReport chapterResearch

Original languageEnglish
Title of host publicationPlaying Games with Timed Games
Number of pages15
VolumeLSV-08-34
Place of PublicationCachan, France
PublisherLaboratoire Spécification et Vérification
Publication date2008
Publication statusPublished - 2008

Cite this