Statistics for Protocol verification using discrete-event systems
Total visits
| views | |
|---|---|
| Protocol verification using discrete-event systems | 106 |
Total visits per month
| views | |
|---|---|
| November 2024 | 0 |
| December 2024 | 0 |
| January 2025 | 0 |
| February 2025 | 0 |
| March 2025 | 0 |
| April 2025 | 0 |
| May 2025 | 0 |
File Visits
| views | |
|---|---|
| 1043.pdf | 194 |
Top country views
| views | |
|---|---|
| United States | 52 |
| China | 24 |
| France | 8 |
| Germany | 5 |
| Ireland | 4 |
| Canada | 3 |
| South Korea | 3 |
| Austria | 1 |
| Côte d’Ivoire | 1 |
| Spain | 1 |
| Indonesia | 1 |
| India | 1 |
| Sweden | 1 |
| Senegal | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 34 |
| Shenzhen | 19 |
| Dublin | 4 |
| Redmond | 3 |
| Dongguan | 2 |
| Mountain View | 2 |
| Zhengzhou | 2 |
| Abidjan | 1 |
| Beijing | 1 |
| Dakar | 1 |
| Des Moines | 1 |
| Fremont | 1 |
| Hwaseong-si | 1 |
| Kingston | 1 |
| Madrid | 1 |
| Miami | 1 |
| Minneapolis | 1 |
| New Delhi | 1 |
| New York | 1 |
| Oakville | 1 |
| Old Bridge | 1 |
| Staten Island | 1 |
| Winnipeg | 1 |