Formal Validation and Verification of Atomic Resolution Microscope Control and Topography

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. [doi]

Authors

Joaquín Nicolás

This author has not been identified. Look up 'Joaquín Nicolás' in Google

José Ambrosio Toval Álvarez

This author has not been identified. Look up 'José Ambrosio Toval Álvarez' in Google

Aurelio Arenas

This author has not been identified. Look up 'Aurelio Arenas' in Google

Juan Alcalde

This author has not been identified. Look up 'Juan Alcalde' in Google