Monti, R. E. (2013). Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas. Web
Citación estilo ChicagoMonti, Raúl Enrique. Falluto2.0 Un Model Checker Para La Verificación Automática De Sistemas Tolerantes a Fallas. 2013.
Cita MLAMonti, Raúl Enrique. Falluto2.0 Un Model Checker Para La Verificación Automática De Sistemas Tolerantes a Fallas. 2013.
Precaución: Estas citas no son 100% exactas.