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 |
|---|---|---|
| Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking | 111 | 93 |
Visitas al mes
de los últimos 6 meses
| noviembre 2024 | diciembre 2024 |
|---|---|
| 11 | 10 |
Cantidad de accesos por país
| Visualizaciones | |
|---|---|
| Estados Unidos | 28 |
| Holanda | 23 |
| Argentina | 10 |
| Suiza | 7 |
| Alemania | 6 |
| China | 2 |
| Finlandia | 1 |
| Francia | 1 |
| Luxemburgo | 1 |
| Rusia | 1 |
| Sin datos* | 31 |
Cantidad de accesos por ciudad
| Visualizaciones | |
|---|---|
| Ashburn | 7 |
| San Ramon | 7 |
| Columbus | 3 |
| Lanus | 3 |
| Seattle | 3 |
| Berazategui | 2 |
| Falls Church | 2 |
| Adrogue | 1 |
| Boydton | 1 |
| Buenos Aires | 1 |
| Sin datos* | 81 |
*Sin datos: En origen no se informa País o Ciudad.