| 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