| |
| 2003 | ||
|---|---|---|
| 1 | EE | Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: BANANA - A Tool for Boundary Ambients Nesting ANAlysis. TACAS 2003: 437-441 |
| 1 | Chiara Braghin | [1] |
| 2 | Agostino Cortesi | [1] |
| 3 | Riccardo Focardi | [1] |
| 4 | Flaminia L. Luccio | [1] |
| 5 | Carla Piazza | [1] |