 | 2008 |
|---|
| 5 |       | François Laroussinie,
Nicolas Markey,
Ghassan Oreiby:
On the Expressiveness and Complexity of ATL
CoRR abs/0804.2435: (2008) |
| 4 | | François Laroussinie,
Nicolas Markey,
Ghassan Oreiby:
On the Expressiveness and Complexity of ATL.
Logical Methods in Computer Science 4(2): (2008) |
| 2007 |
|---|
| 3 | | Thomas Brihaye,
François Laroussinie,
Nicolas Markey,
Ghassan Oreiby:
Timed Concurrent Game Structures.
CONCUR 2007: 445-459 |
| 2 | | François Laroussinie,
Nicolas Markey,
Ghassan Oreiby:
On the Expressiveness and Complexity of ATL.
FoSSaCS 2007: 243-257 |
| 2006 |
|---|
| 1 | | François Laroussinie,
Nicolas Markey,
Ghassan Oreiby:
Model-Checking Timed.
FORMATS 2006: 245-259 |
