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 | 731 |
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 |