| |
| 2006 | ||
|---|---|---|
| 2 | EE | Olivier Bournez, Florent Garnier: Proving Positive Almost Sure Termination Under Strategies. RTA 2006: 357-371 |
| 2005 | ||
| 1 | EE | Olivier Bournez, Florent Garnier: Proving Positive Almost-Sure Termination. RTA 2005: 323-337 |
| 1 | Olivier Bournez | [1] [2] |