Zandarin, N. H. (2010). Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM. Web
Citación estilo ChicagoZandarin, Nicolás Hugo. Abstracción a Estados Esenciales En El Model Checker Probabilista PRISM. 2010.
Cita MLAZandarin, Nicolás Hugo. Abstracción a Estados Esenciales En El Model Checker Probabilista PRISM. 2010.
Precaución: Estas citas no son 100% exactas.