External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Specification of a Scanning Tunnelling Microscope

Joaquín Nicolás, Juan Alcalde, José Ambrosio Toval Álvarez, Aurelio Arenas. Formal Specification of a Scanning Tunnelling Microscope. In Moreno Falaschi, Marisa Navarro, Alberto Policriti, editors, 1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 97, Grado, Italy, June 16-19, 1997. pages 511-522, 1997.

Authors

Joaquín Nicolás

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

Juan Alcalde

This author has not been identified. Look up 'Juan Alcalde' 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
runs on