Schapachnik, F. P. (2007). Verificación de autómatas temporizados en arquitecturas monoprocesador y multiprocesador. Web
Citación estilo ChicagoSchapachnik, Fernando Pablo. Verificación De Autómatas Temporizados En Arquitecturas Monoprocesador Y Multiprocesador. 2007.
Cita MLASchapachnik, Fernando Pablo. Verificación De Autómatas Temporizados En Arquitecturas Monoprocesador Y Multiprocesador. 2007.
Precaución: Estas citas no son 100% exactas.