Giro, S. S., & D'Argenio, P. R. (2011). Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial.
Cita Chicago Style (17a ed.)Giro, Sergio Sebastián, y Pedro Ruben D'Argenio. Sobre La Verificación Automática De Autómatas Probabilistas Distribuidos Con Información Parcial. 2011.
Cita MLA (8a ed.)Giro, Sergio Sebastián, y Pedro Ruben D'Argenio. Sobre La Verificación Automática De Autómatas Probabilistas Distribuidos Con Información Parcial. 2011.
Precaución: Estas citas no son 100% exactas.