| |
| 1997 | ||
|---|---|---|
| 1 | Gian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: An Automated Based Verification Environment for Mobile Processes. TACAS 1997: 275-289 | |
| 1 | Gian Luigi Ferrari (GianLuigi Ferrari) | [1] |
| 2 | Stefania Gnesi | [1] |
| 3 | Ugo Montanari | [1] |
| 4 | Marco Pistore | [1] |
| 5 | Gioia Ristori | [1] |