Schapachnik, F. (2007). Verificación de autómatas temporizados en arquitecturas monoprocesador y multiprocesador.
Cita Chicago Style (17a ed.)Schapachnik, Fernando. Verificación De Autómatas Temporizados En Arquitecturas Monoprocesador Y Multiprocesador. 2007.
Cita MLA (8a ed.)Schapachnik, Fernando. Verificación De Autómatas Temporizados En Arquitecturas Monoprocesador Y Multiprocesador. 2007.
Precaución: Estas citas no son 100% exactas.