Statistics
Total Visits
Views | |
---|---|
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução. | 104 |
Total Visits per Month
January 2024 | February 2024 | March 2024 | April 2024 | May 2024 | June 2024 | July 2024 | |
---|---|---|---|---|---|---|---|
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução. | 0 | 0 | 0 | 4 | 0 | 2 | 10 |
File Downloads
Views | |
---|---|
ANA EMÍLIA VICTOR BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf | 35 |
ANA EMÍLIA VICTOR BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf | 14 |
Top Country Views
Views | |
---|---|
United States | 24 |
Brazil | 23 |
Germany | 11 |
China | 8 |
United Kingdom | 5 |
Vietnam | 2 |
Australia | 1 |
Spain | 1 |
EU | 1 |
Russia | 1 |
Top City Views
Views | |
---|---|
Oakland | 11 |
Campina Grande | 8 |
Menlo Park | 6 |
Shenzhen | 6 |
Mountain View | 3 |
Pirpirituba | 3 |
Beijing | 2 |
Hanoi | 2 |
Fairfield | 1 |
Manaus | 1 |