Statistics
Total Visits
Views | |
---|---|
Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução. | 121 |
Total Visits per Month
October 2024 | November 2024 | December 2024 | January 2025 | February 2025 | March 2025 | April 2025 | |
---|---|---|---|---|---|---|---|
Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução. | 0 | 0 | 1 | 0 | 2 | 0 | 0 |
File Downloads
Views | |
---|---|
ANNE LORAYNE GERÕNIMO SILVA AUGUSTO MOREIRA - DISSERTAÇÃO (PPGCC) 2016.pdf | 59 |
ANNE LORAYNE GERÕNIMO SILVA AUGUSTO MOREIRA - DISSERTAÇÃO (PPGCC) 2016.pdf | 16 |
Top Country Views
Views | |
---|---|
United States | 29 |
Brazil | 24 |
Germany | 13 |
China | 11 |
Canada | 5 |
United Kingdom | 5 |
EU | 3 |
Vietnam | 3 |
Uruguay | 2 |
Russia | 1 |
Top City Views
Views | |
---|---|
Oakland | 9 |
Menlo Park | 8 |
Shenzhen | 8 |
Campina Grande | 5 |
Ottawa | 5 |
Hanoi | 3 |
Beijing | 2 |
Wilmington | 2 |
Ashburn | 1 |
Dearborn | 1 |