2 Artículos

Fringe jump analysis and electronic corrections for the Tore Supra far infrared interferometer

Solicitud

usuarios registrados

C. Gil, A. Barbuti, D. Elbèze, P. Pastor, J. Philip, and L. Toulouse

Revista: REVIEW OF SCIENTIFIC INSTRUMENTS Formato: Impreso

Tabla de contenido: Vol: 79 Num: 10 Par: 0 Año: 2008

LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs

Solicitud

usuarios registrados

Barbuti, R; Francesco, N De; Santone, A; Vaglini, G Pág. 1123 - 1123

Revista: SOFTWARE, PRACTICE & EXPERIENCE Formato: Impreso

Tabla de contenido: Vol: 29 Num: 12 Par: 0 Año: 1999

« Anterior Página: 1 de 1 Siguiente »