Giro, S. S., & D'Argenio, P. R. (2011). Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial.
Chicago Style (17th ed.) CitationGiro, Sergio Sebastián, and Pedro Ruben D'Argenio. Sobre La Verificación Automática De Autómatas Probabilistas Distribuidos Con Información Parcial. 2011.
MLA (9th ed.) CitationGiro, Sergio Sebastián, and Pedro Ruben D'Argenio. Sobre La Verificación Automática De Autómatas Probabilistas Distribuidos Con Información Parcial. 2011.