Statistics
Total Visits
Name | Views |
---|---|
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking | 1044 |
Total Visits per Month
Name | January 2024 | February 2024 | March 2024 | April 2024 | May 2024 | June 2024 | July 2024 |
---|---|---|---|---|---|---|---|
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking | 8 | 5 | 10 | 9 | 7 | 6 | 8 |
File Downloads
Name | Views |
---|---|
Pantrlic_Vera_2005_12_master.pdf | 245 |
Top Country Views
Name | Views |
---|---|
Canada | 160 |
China | 43 |
United States | 25 |
Germany | 4 |
Sweden | 3 |
Australia | 1 |
United Kingdom | 1 |
South Korea | 1 |
Pakistan | 1 |
Puerto Rico | 1 |
Top City Views
Name | Views |
---|---|
Hamilton | 156 |
Beijing | 40 |
San Ramon | 4 |
Louisville | 3 |
San Mateo | 3 |
Ashburn | 2 |
Fairfield | 2 |
Leawood | 2 |
Menlo Park | 2 |
San Diego | 2 |