| |
| 2007 | ||
|---|---|---|
| 3 | EE | Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston: From Time Petri Nets to Timed Automata: An Untimed Approach. TACAS 2007: 216-230 |
| 2006 | ||
| 2 | EE | Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston: Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD 2006: 143-152 |
| 2004 | ||
| 1 | EE | Davide D'Aprile, Susanna Donatelli, Jeremy Sproston: CSL Model Checking for the GreatSPN Tool. ISCIS 2004: 543-552 |
| 1 | Davide Cerotti | [2] |
| 2 | Susanna Donatelli | [1] [2] [3] |
| 3 | Arnaud Sangnier | [3] |
| 4 | Jeremy Sproston | [1] [2] [3] |