FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY
From MaRDI portal
Publication:4781450
DOI10.1080/019697201753229836zbMath1003.93512OpenAlexW2002772502MaRDI QIDQ4781450
Aurelio Arenas, Ambrosio Toval, Juan Alcalde, Joaquín Nicolás
Publication date: 21 January 2003
Published in: Cybernetics and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/019697201753229836
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software
Cites Work
This page was built for publication: FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY