Statistics

Total Visits

Views
Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução. 119

Total Visits per Month

July 2024 August 2024 September 2024 October 2024 November 2024 December 2024 January 2025
Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução. 12 6 4 0 0 1 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
United Kingdom 5
Canada 3
EU 3
Vietnam 3
Uruguay 2
Russia 1

Top City Views

Views
Oakland 9
Menlo Park 8
Shenzhen 8
Campina Grande 5
Hanoi 3
Ottawa 3
Beijing 2
Wilmington 2
Ashburn 1
Dearborn 1