Zandarin, N. H., & D'Argenio, P. R. (2011). Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM.
Cita Chicago Style (17a ed.)Zandarin, Nicolás Hugo, y Pedro Ruben D'Argenio. Abstracción a Estados Esenciales En El Model Checker Probabilista PRISM. 2011.
Cita MLA (8a ed.)Zandarin, Nicolás Hugo, y Pedro Ruben D'Argenio. Abstracción a Estados Esenciales En El Model Checker Probabilista PRISM. 2011.
Precaución: Estas citas no son 100% exactas.