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 | 152 |
Total de Visitas por Mes
| noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | mayo 2024 | |
|---|---|---|---|---|---|---|---|
| Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example | 0 | 0 | 0 | 4 | 0 | 1 | 0 |
Total de Descargas
| Visitas | |
|---|---|
| tesis-cluna.pdf | 86 |
Top Países
| Visitas | |
|---|---|
| Estados Unidos | 31 |
| China | 24 |
| México | 21 |
| Uruguay | 17 |
| Ecuador | 12 |
| Perú | 10 |
| Argentina | 8 |
| Colombia | 6 |
| España | 4 |
| Chile | 3 |
Top Ciudades
| Visitas | |
|---|---|
| Montevideo | 16 |
| Fairfield | 7 |
| Quito | 7 |
| Beijing | 6 |
| Santa Clara | 6 |
| Guayaquil | 5 |
| Lima | 5 |
| Mexico | 5 |
| Nanjing | 5 |
| Oakland | 4 |