Estadísticas de visualización y descarga
Número total de visitas
desde el momento de su depósito en el Repositorio CONICET Digital
| Título | Visualizaciones | Descargas |
|---|---|---|
| Dynamite: A tool for the verification of alloy models based on PVS | 289 | 174 |
Visitas al mes
de los últimos 6 meses
| junio 2025 | julio 2025 | agosto 2025 | septiembre 2025 | octubre 2025 | noviembre 2025 | diciembre 2025 |
|---|---|---|---|---|---|---|
| 11 | 10 | 14 | 6 | 11 | 14 | 5 |
Cantidad de accesos por país
| Visualizaciones | |
|---|---|
| Estados Unidos | 151 |
| Holanda | 26 |
| Suiza | 13 |
| Alemania | 13 |
| Argentina | 12 |
| Rusia | 9 |
| Brasil | 6 |
| Francia | 5 |
| China | 4 |
| Paraguay | 3 |
| Sin datos* | 47 |
Cantidad de accesos por ciudad
| Visualizaciones | |
|---|---|
| Ashburn | 34 |
| Boydton | 23 |
| San Ramon | 7 |
| Columbus | 6 |
| Asunción | 3 |
| Fairfield | 3 |
| Beijing | 2 |
| Buenos Aires | 2 |
| San Diego | 2 |
| Amsterdam | 1 |
| Sin datos* | 206 |
*Sin datos: En origen no se informa País o Ciudad.