| |
| 2003 | ||
|---|---|---|
| 1 | EE | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli: Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. HSCC 2003: 141-155 |
| 1 | Ester Ciancamerla | [1] |
| 2 | Benedetto Intrigila | [1] |
| 3 | Igor Melatti | [1] |
| 4 | Michele Minichino | [1] |
| 5 | Giuseppe Della Penna | [1] |
| 6 | Enrico Tronci | [1] |
| 7 | Marisa Venturini Zilli | [1] |