Schapachnik, Fernando. Verificación de autómatas temporizados en arquitecturas monoprocesador y multiprocesador
Dr. Víctor Braberman, Dr. Alfredo Olivero, 2007.
thesisSchapachnik.pdf
—
PDF document,
1613 kB (1652676 bytes)
