Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example | 193 |
Total de Visitas por Mes
| enero 2025 | febrero 2025 | marzo 2025 | abril 2025 | mayo 2025 | junio 2025 | julio 2025 | |
|---|---|---|---|---|---|---|---|
| Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example | 0 | 2 | 4 | 1 | 1 | 4 | 4 |
Total de Descargas
| Visitas | |
|---|---|
| tesis-cluna.pdf | 103 |
Top Países
| Visitas | |
|---|---|
| Estados Unidos | 39 |
| China | 27 |
| Uruguay | 26 |
| México | 23 |
| Ecuador | 12 |
| Perú | 10 |
| Argentina | 8 |
| Canadá | 8 |
| Colombia | 6 |
| Polonia | 5 |
Top Ciudades
| Visitas | |
|---|---|
| Montevideo | 24 |
| Ottawa | 8 |
| Beijing | 7 |
| Fairfield | 7 |
| Quito | 7 |
| Santa Clara | 6 |
| Guayaquil | 5 |
| Lima | 5 |
| Mexico | 5 |
| Nanjing | 5 |