Tesis Doctoral

Schapachnik, Fernando. "Verificación de autómatas temporizados en arquitecturas monoprocesador y multiprocesador" . (2007). Tesis Doctoral, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.