Statistics for infinite states verification in game-theoretic logics
Total visits
| views | |
|---|---|
| infinite states verification in game-theoretic logics | 69 |
Total visits per month
| views | |
|---|---|
| January 2025 | 0 |
| February 2025 | 0 |
| March 2025 | 0 |
| April 2025 | 0 |
| May 2025 | 1 |
| June 2025 | 0 |
| July 2025 | 0 |
File Visits
| views | |
|---|---|
| Kmiec_Slawomir_2013_Masters.pdf | 93 |
| Kmiec_Slawomir_2013_Masters.pdf(legacy) | 39 |
Top country views
| views | |
|---|---|
| United States | 20 |
| United Kingdom | 18 |
| Ireland | 15 |
| Germany | 11 |
| Canada | 10 |
| France | 10 |
| Vietnam | 8 |
| Australia | 3 |
| China | 2 |
| Singapore | 2 |
| Finland | 1 |
| Iran | 1 |
| Tunisia | 1 |
| Turkey | 1 |
| Taiwan | 1 |
Top city views
| views | |
|---|---|
| Southend | 18 |
| Dublin | 15 |
| Hanoi | 8 |
| Ashburn | 4 |
| Toronto | 4 |
| Canberra | 3 |
| Chicago | 2 |
| Greater Sudbury | 2 |
| Mountain View | 2 |
| Reims | 2 |
| Richmond Hill | 2 |
| Arnprior | 1 |
| Boardman | 1 |
| Fremont | 1 |
| Istanbul | 1 |
| Memphis | 1 |
| Mississauga | 1 |
| Pittsburgh | 1 |
| Shenyang | 1 |
| Singapore | 1 |
| Taichung | 1 |