Statistics
Total Visits
| Name | Views |
|---|---|
| Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking | 1236 |
Total Visits per Month
| Name | December 2024 | January 2025 | February 2025 | March 2025 | April 2025 | May 2025 | June 2025 |
|---|---|---|---|---|---|---|---|
| Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking | 30 | 34 | 14 | 15 | 27 | 12 | 2 |
File Downloads
| Name | Views |
|---|---|
| Pantrlic_Vera_2005_12_master.pdf | 276 |
Top Country Views
| Name | Views |
|---|---|
| Canada | 221 |
| United States | 74 |
| China | 52 |
| Australia | 20 |
| India | 19 |
| Brazil | 6 |
| Germany | 4 |
| Ireland | 3 |
| Russia | 3 |
| Sweden | 3 |
Top City Views
| Name | Views |
|---|---|
| Hamilton | 213 |
| Beijing | 40 |
| San Mateo | 16 |
| Mumbai | 14 |
| Halls Head | 8 |
| Sacramento | 7 |
| Shanghai | 7 |
| Fairfield | 4 |
| Louisville | 4 |
| San Ramon | 4 |
