Verifying social expectations by model checking truncated paths - Usage Statistics
This page shows usage statistics for the item: Verifying social expectations by model checking truncated paths
Click on a number to switch between file downloads and item page views or to view usage statistics for a different date range.
Currently showing: Item page views; All dates
Top visitors' geographic locations
Click on a country's usage number to view usage statistics for visits from that country.
Currently showing: Item page views; All dates
Top country views
Item page views | |
---|---|
United States | 239 |
New Zealand | 43 |
France | 41 |
China | 33 |
United Kingdom | 31 |
Germany | 22 |
Australia | 20 |
Canada | 17 |
Russia | 15 |
Israel | 11 |
Italy | 7 |
Netherlands | 7 |
India | 6 |
Poland | 5 |
EU | 3 |
Japan | 3 |
Austria | 2 |
Belgium | 2 |
Czech Republic | 2 |
Egypt | 2 |
Spain | 2 |
Jamaica | 2 |
Kenya | 2 |
Thailand | 2 |
Turkey | 2 |
Ukraine | 2 |
Armenia | 1 |
Argentina | 1 |
Bulgaria | 1 |
Brazil | 1 |
Belarus | 1 |
Côte d'Ivoire | 1 |
Hong Kong | 1 |
South Korea | 1 |
Lebanon | 1 |
Mauritius | 1 |
South Africa | 1 |
Top cities views
Item page views | |
---|---|
Dunedin | 35 |
Fairfield | 22 |
Ashburn | 13 |
Milton | 12 |
Beijing | 9 |
Houston | 9 |
Wilmington | 9 |
Cambridge | 8 |
Southend | 7 |
Fremont | 6 |
Sunnyvale | 6 |
Ann Arbor | 5 |
Dearborn | 4 |
Mountain View | 4 |
Shenzhen | 4 |
Woodbridge | 4 |
Hangzhou | 3 |
Hefei | 3 |
Auburn Hills | 2 |
Erie | 2 |
Guangzhou | 2 |
Houghton | 2 |
Jacksonville | 2 |
Norwalk | 2 |
Oakland | 2 |
Shanghai | 2 |
Topeka | 2 |
Wellington | 2 |
Amsterdam | 1 |
Brno | 1 |
Buffalo | 1 |
Calcutta | 1 |
Chongqing | 1 |
Cupertino | 1 |
Daejeon | 1 |
Edenvale | 1 |
Leipzig | 1 |
Nürnberg | 1 |
Phoenix | 1 |
Port Chester | 1 |
Saint Petersburg | 1 |
San Jose | 1 |
Seattle | 1 |
Taiyüan | 1 |
University Park | 1 |
Varna | 1 |
Verona | 1 |
Warsaw | 1 |
Zhengzhou | 1 |