Estatísticas para A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
Total de visitas
| views | |
|---|---|
| A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code | 373 |
Total visitas por mês
| views | |
|---|---|
| janeiro 2025 | 6 |
| fevereiro 2025 | 1 |
| março 2025 | 6 |
| abril 2025 | 1 |
| maio 2025 | 0 |
| junho 2025 | 0 |
| julho 2025 | 1 |
Visitas Arquivos
| views | |
|---|---|
| SamuelLincolnMagalhaesBarrocas_TESE.pdf | 735 |
| SamuelLincolnMagalhaesBarrocas_TESE.pdf(legacy) | 46 |
Maiores visualizações por país
| views | |
|---|---|
| Estados Unidos | 278 |
| Brasil | 28 |
| Alemanha | 14 |
| China | 11 |
| Irlanda | 9 |
| Finlândia | 3 |
| Países Baixos | 3 |
| Canadá | 2 |
| Rússia | 2 |
| Suécia | 2 |
| Emirados Árabes Unidos | 1 |
| Austrália | 1 |
| Bélgica | 1 |
| Hong Kong, RAE da China | 1 |
| Indonésia | 1 |
| Japão | 1 |
| Polônia | 1 |
| Portugal | 1 |
| Romênia | 1 |
| Singapura | 1 |
| Eslováquia | 1 |
| Tailândia | 1 |
| Turcomenistão | 1 |
| Turquia | 1 |
| Ucrânia | 1 |
| Vietnã | 1 |
Maiores visualizações por cidade
| views | |
|---|---|
| Concord | 153 |
| Ashburn | 21 |
| Vallejo | 14 |
| Dublin | 8 |
| San Mateo | 7 |
| Fortaleza | 5 |
| Beijing | 4 |
| Des Moines | 3 |
| Raleigh | 3 |
| Zhengzhou | 3 |
| Amsterdam | 2 |
| Cheyenne | 2 |
| Natal | 2 |
| Recife | 2 |
| Santa Maria | 2 |
| Springfield | 2 |
| São Paulo | 2 |
| Abu Dhabi | 1 |
| Anaheim | 1 |
| Ashgabat | 1 |
| Atlanta | 1 |
| Beaumont | 1 |
| Butia | 1 |
| Cachoeira | 1 |
| Caucaia | 1 |
| Chicago | 1 |
| Fazenda Vilanova | 1 |
| Frankfurt am Main | 1 |
| Gravataí | 1 |
| Guaratuba | 1 |
| Istanbul | 1 |
| Kharkiv | 1 |
| Las Vegas | 1 |
| Lisbon | 1 |
| Ludwigshafen am Rhein | 1 |
| Luziania | 1 |
| Maceió | 1 |
| Mafra | 1 |
| Mercedes | 1 |
| Minchinbury | 1 |
| Mountain View | 1 |
| Nova Iguaçu | 1 |
| Orizona | 1 |
| Poznan | 1 |
| Saarbrücken | 1 |
| Sherbrooke | 1 |
| Singapore | 1 |
| Songkhla | 1 |
| São José dos Campos | 1 |
| Uberlândia | 1 |
| Umuarama | 1 |