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 H., y Pedro R. D'Argenio. Abstracción a Estados Esenciales En El Model Checker Probabilista PRISM. 2011.
Cita MLA (8a ed.)Zandarin, Nicolás H., y Pedro R. D'Argenio. Abstracción a Estados Esenciales En El Model Checker Probabilista PRISM. 2011.
Precaución: Estas citas no son 100% exactas.