Olivero, A., Gaudiani, A., & Maidana, G. (2000). Modelización formal y verificación automática de sistemas de tiempo real.
Cita Chicago Style (17a ed.)Olivero, Alfredo, Adriana Gaudiani, y Gabriela Maidana. Modelización Formal Y Verificación Automática De Sistemas De Tiempo Real. 2000.
Cita MLA (8a ed.)Olivero, Alfredo, et al. Modelización Formal Y Verificación Automática De Sistemas De Tiempo Real. 2000.
Precaución: Estas citas no son 100% exactas.