Otago University Research Archive

Verifying social expectations by model checking truncated paths - Usage Statistics

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: File downloads; All dates

File downloads Item page views
Current month 0 0
Previous month 1 5
All dates 143 200
  1. Custom date range
  2. to
    Maximum number of items/collections/authors etc. shown:
  • 2
  • 5
  • 10
  • 20
  • 50
  • 100

Top visitors' geographic locations

Click on a country's usage number to view usage statistics for visits from that country.

Currently showing: File downloads; All dates

Top country views

File downloads
China 29
United States 27
Brazil 14
Ireland 8
New Zealand 8
France 6
Romania 6
Iraq 4
India 3
Netherlands 3

Top cities views

File downloads
Beijing 13
Dunedin 6
Boston 5
Fortaleza 4
Sulaimani 4
Cluj 3
Guangzhou 3
Shanghai 3
Wuhan 3
Auckland 2