Buscar por Autor Giro, Sergio
Mostrando resultados 1 a 2 de 2
Fecha de publicación | Título | ???itemlist.dc.creator.*??? | ???itemlist.dc.provenance??? |
---|---|---|---|
2010 | Reducción de orden parcial en model checking probabilista simbólico | Ferrer Fioriti, Luis María. | Repositorio Digital Universitario - Universidad Nacional de Córdoba |
2010 | Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial / | Giro, Sergio | Repositorio Digital Universitario - Universidad Nacional de Córdoba |