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