| |
| 2001 | ||
|---|---|---|
| 2 | EE | Joaquín Nicolás, José Ambrosio Toval Álvarez, Aurelio Arenas, Juan Alcalde: Formal Validation and Verification of Atomic Resolution Microscope Control and Topography. Cybernetics and Systems 32(8): 851-870 (2001) |
| 1997 | ||
| 1 | Joaquín Nicolás, Juan Alcalde, José Ambrosio Toval Álvarez, Aurelio Arenas: Formal Specification of a Scanning Tunnelling Microscope. APPIA-GULP-PRODE 1997: 511-522 | |
| 1 | José Ambrosio Toval Álvarez | [1] [2] |
| 2 | Aurelio Arenas | [1] [2] |
| 3 | Joaquín Nicolás | [1] [2] |