Monti, R. E., & D'Argenio, P. R. (2022). Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas.
Cita Chicago Style (17a ed.)Monti, Raúl Enrique, y Pedro Ruben D'Argenio. Falluto2.0 Un Model Checker Para La Verificación Automática De Sistemas Tolerantes a Fallas. 2022.
Cita MLA (8a ed.)Monti, Raúl Enrique, y Pedro Ruben D'Argenio. Falluto2.0 Un Model Checker Para La Verificación Automática De Sistemas Tolerantes a Fallas. 2022.
Precaución: Estas citas no son 100% exactas.