| |
| 2008 | ||
|---|---|---|
| 2 | EE | Stéphane Demri, Ranko Lazic, Arnaud Sangnier: Model Checking Freeze LTL over One-Counter Automata. FoSSaCS 2008: 490-504 |
| 2007 | ||
| 1 | EE | Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston: From Time Petri Nets to Timed Automata: An Untimed Approach. TACAS 2007: 216-230 |
| 1 | Davide D'Aprile | [1] |
| 2 | Stéphane Demri | [2] |
| 3 | Susanna Donatelli | [1] |
| 4 | Ranko Lazic (R. S. Lazic) | [2] |
| 5 | Jeremy Sproston | [1] |