2007-08-01 - Article/Dans un journal avec peer-review - Anglais -
15 page(s)
Brihaye Thomas
,
Laroussinie François,
Markey Nicolas,
Oreiby Ghassan,
"Timed Concurrent Game Structures" in Lecture Notes in Computer Science
- Edition : Springer, Berlin (Germany)
- Codes CREF : Informatique mathématique (DI1160)
- Unités de recherche UMONS : Mathématiques effectives (S820)
- Instituts UMONS : Institut de Recherche sur les Systèmes Complexes (Complexys)
- Centres UMONS : Modélisation mathématique et informatique (CREMMI)