Original language | English |
---|---|
Title of host publication | Playing Games with Timed Games |
Number of pages | 15 |
Volume | LSV-08-34 |
Place of Publication | Cachan, France |
Publisher | Laboratoire Spécification et Vérification |
Publication date | 2008 |
Publication status | Published - 2008 |
Playing Games with Timed Games
Alexandre David, Kim Guldstrand Larsen, Thomas Chatain
Research output: Contribution to book/anthology/report/conference proceeding › Report chapter › Research