Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| Formalizing alternating-time temporal logic in the coq proof assistant | 115 |
Total de Visitas por Mes
Total de Descargas
| Visitas | |
|---|---|
| TR1413.pdf | 59 |
Top Países
| Visitas | |
|---|---|
| Estados Unidos | 43 |
| China | 24 |
| Uruguay | 11 |
| Ucrania | 4 |
| Canadá | 3 |
| Reino Unido | 3 |
| Argentina | 2 |
| Argelia | 2 |
| Polonia | 2 |
| Rusia | 2 |
Top Ciudades
| Visitas | |
|---|---|
| Fairfield | 11 |
| Montevideo | 11 |
| Santa Clara | 7 |
| Ann Arbor | 5 |
| Beijing | 5 |
| Jacksonville | 4 |
| Oakland | 4 |
| Mountain View | 3 |
| Nanchang | 3 |
| Ningbo | 3 |