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 | 203 | 
Total de Visitas por Mes
| mayo 2025 | junio 2025 | julio 2025 | agosto 2025 | septiembre 2025 | octubre 2025 | noviembre 2025 | |
|---|---|---|---|---|---|---|---|
| Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example | 1 | 4 | 5 | 0 | 2 | 7 | 0 | 
Total de Descargas
| Visitas | |
|---|---|
| tesis-cluna.pdf | 114 | 
Top Países
| Visitas | |
|---|---|
| Estados Unidos | 44 | 
| China | 29 | 
| Uruguay | 26 | 
| México | 23 | 
| Ecuador | 12 | 
| Perú | 10 | 
| Argentina | 8 | 
| Canadá | 8 | 
| Colombia | 6 | 
| Polonia | 5 | 
Top Ciudades
| Visitas | |
|---|---|
| Montevideo | 24 | 
| Beijing | 8 | 
| Ottawa | 8 | 
| Fairfield | 7 | 
| Quito | 7 | 
| Nanjing | 6 | 
| Santa Clara | 6 | 
| Guayaquil | 5 | 
| Lima | 5 | 
| Mexico | 5 |