Publicacions en què col·labora amb Joaquin Nicolas Ros (2)

2001

  1. Formal validation and verification of atomic resolution microscope control and topography

    Cybernetics and Systems, Vol. 32, Núm. 8, pp. 851-870

1996

  1. Especificación, validación y verificación formal de un microscopio efecto-túnel

    II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996