Statistics
Total Visits
Name | Views |
---|---|
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking | 1073 |
Total Visits per Month
Name | March 2024 | April 2024 | May 2024 | June 2024 | July 2024 | August 2024 | September 2024 |
---|---|---|---|---|---|---|---|
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking | 10 | 9 | 7 | 6 | 10 | 17 | 10 |
File Downloads
Name | Views |
---|---|
Pantrlic_Vera_2005_12_master.pdf | 251 |
Top Country Views
Name | Views |
---|---|
Canada | 173 |
China | 45 |
United States | 33 |
Australia | 4 |
Germany | 4 |
Sweden | 3 |
United Kingdom | 2 |
India | 1 |
Japan | 1 |
South Korea | 1 |
Top City Views
Name | Views |
---|---|
Hamilton | 166 |
Beijing | 40 |
San Mateo | 6 |
Louisville | 4 |
San Ramon | 4 |
Fairfield | 3 |
Shanghai | 3 |
Ashburn | 2 |
Hervey Bay | 2 |
Leawood | 2 |