Marenchino, M. L., & D'Argenio, P. R. (2011). Implementación de técnicas de derivación de contraejemplos en el model checker PRISM.
Cita Chicago Style (17a ed.)Marenchino, Matías L., y Pedro R. D'Argenio. Implementación De Técnicas De Derivación De Contraejemplos En El Model Checker PRISM. 2011.
Cita MLA (8a ed.)Marenchino, Matías L., y Pedro R. D'Argenio. Implementación De Técnicas De Derivación De Contraejemplos En El Model Checker PRISM. 2011.
Precaución: Estas citas no son 100% exactas.