Statistics for A framework for specifying, prototyping, and reasoning about computational systems.
Total visits
| views | |
|---|---|
| A framework for specifying, prototyping, and reasoning about computational systems. | 117 |
Total visits per month
| views | |
|---|---|
| May 2024 | 2 |
| June 2024 | 0 |
| July 2024 | 0 |
| August 2024 | 0 |
| September 2024 | 0 |
| October 2024 | 1 |
| November 2024 | 0 |
File Visits
| views | |
|---|---|
| Gacek_umn_0130E_10731.pdf | 103 |
Top country views
| views | |
|---|---|
| United States | 50 |
| China | 16 |
| Germany | 11 |
| France | 9 |
| Ireland | 4 |
| United Kingdom | 3 |
| Netherlands | 3 |
| Canada | 2 |
| Indonesia | 2 |
| Japan | 2 |
| Malaysia | 2 |
| Singapore | 2 |
| Austria | 1 |
| Belarus | 1 |
| Switzerland | 1 |
| Hong Kong SAR China | 1 |
| India | 1 |
| Iran | 1 |
| South Korea | 1 |
| Romania | 1 |
| Russia | 1 |
| Uganda | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 8 |
| Brookline | 6 |
| Des Moines | 5 |
| Dublin | 4 |
| Beijing | 3 |
| Berlin | 3 |
| Redmond | 3 |
| Shenzhen | 3 |
| Arlington Heights | 2 |
| Changsha | 2 |
| Jakarta | 2 |
| Minneapolis | 2 |
| Mountain View | 2 |
| Singapore | 2 |
| Tianjin | 2 |
| University Park | 2 |
| Walnut | 2 |
| Bad Homburg | 1 |
| Bengaluru | 1 |
| Brooklyn | 1 |
| Buffalo | 1 |
| Central | 1 |
| Chicago | 1 |
| Chisago City | 1 |
| Dongguan | 1 |
| Fremont | 1 |
| London | 1 |
| Milltown | 1 |
| Minsk | 1 |
| Newark | 1 |
| Old Bridge | 1 |
| Overland Park | 1 |
| Pasadena | 1 |
| Pensacola | 1 |
| Rochester | 1 |
| Sacramento | 1 |
| Southend | 1 |
| Staten Island | 1 |
| Stoney Creek | 1 |
| Tehran | 1 |
| The Hague | 1 |
| Tokyo | 1 |
| Vladivostok | 1 |
| Zhengzhou | 1 |