Estatísticas para Type-Based Verification of Message-Passing Parallel Programs
Total de visitas
| views | |
|---|---|
| Type-Based Verification of Message-Passing Parallel Programs | 491 |
Total de visitas por mês
| views | |
|---|---|
| agosto 2025 | 2 |
| setembro 2025 | 7 |
| outubro 2025 | 0 |
| novembro 2025 | 2 |
| dezembro 2025 | 0 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
Downloads
| views | |
|---|---|
| tr_2015_01.pdf | 286 |
| 2014_tr_04.pdf | 275 |
| ICS_FLVicente_Photograph_ARI.pdf | 1 |
| ulfd133578_tese.pdf | 1 |
| ulfc099196_ana_oliveira.pdf | 1 |
| 21037_ulsd057664_tm.pdf | 1 |
| 23152_ulfl0782781_tm_tese_anexos_1_2_3_5.pdf | 1 |
| Mata-Pereira, Ponte Quadrante 21-2 2012.pdf | 1 |
Top de consultas por país
| views | |
|---|---|
| Portugal | 160 |
| Estados Unidos | 120 |
| Índia | 88 |
| Alemanha | 34 |
| China | 25 |
| Rússia | 24 |
| Japão | 10 |
| França | 7 |
| Austrália | 2 |
| Canadá | 2 |
| Itália | 2 |
| Coreia do Sul | 2 |
| Roménia | 2 |
| Brasil | 1 |
| Colômbia | 1 |
| Dinamarca | 1 |
| Quénia | 1 |
| Países Baixos | 1 |
| Singapura | 1 |
| Senegal | 1 |
| Turquia | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Lisbon | 2 |