Buscar por Autor Marenchino, Matías L.
Mostrando resultados 1 a 1 de 1
Fecha de publicación | Título | ???itemlist.dc.creator.*??? | ???itemlist.dc.provenance??? |
---|---|---|---|
2011 | Implementación de técnicas de derivación de contraejemplos en el model checker PRISM | Marenchino, Matías L. | Repositorio Digital Universitario - Universidad Nacional de Córdoba |