Statistics

Total Visits

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

Total Visits per Month

January 2024 February 2024 March 2024 April 2024 May 2024 June 2024 July 2024
Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução. 0 2 2 0 0 0 10

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 10

Top Country Views

Views
Brazil 23
United States 20
Germany 13
China 11
United Kingdom 5
Vietnam 3
Canada 2
Uruguay 2
EU 1
Russia 1

Top City Views

Views
Shenzhen 8
Oakland 7
Menlo Park 6
Campina Grande 4
Hanoi 3
Beijing 2
Ottawa 2
Ashburn 1
Mcallen 1
Norwalk 1