| |
| 2002 | ||
|---|---|---|
| 1 | EE | Luis Mengual, Nicolás Barcia, Ernesto Jiménez, Ernestina Menasalvas Ruiz, Julio Setién, Javier Yágüez: Automatic implementation system of security protocols based on formal description techniques. ISCC 2002: 355-360 |
| 1 | Ernesto Jiménez | [1] |
| 2 | Luis Mengual | [1] |
| 3 | Ernestina Menasalvas Ruiz | [1] |
| 4 | Julio Setién | [1] |
| 5 | Javier Yágüez | [1] |