Schapachnik, F., & Braberman, V. (2007). Verificación de autómatas temporizados en arquitecturas monoprocesador y multiprocesador. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Cita Chicago Style (17a ed.)Schapachnik, Fernando, y Víctor Braberman. Verificación De Autómatas Temporizados En Arquitecturas Monoprocesador Y Multiprocesador. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2007.
Cita MLA (8a ed.)Schapachnik, Fernando, y Víctor Braberman. Verificación De Autómatas Temporizados En Arquitecturas Monoprocesador Y Multiprocesador. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2007.
Precaución: Estas citas no son 100% exactas.