Otago University Research Archive

Verifying social expectations by model checking truncated paths - Usage Statistics

Otago University Research Archive

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 a number to switch between file downloads and item page views, or view statistics for a different date range.

Currently showing: File downloads; All dates

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

Top visitors' geographic locations

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

Currently showing: File downloads; All dates

Countries

File downloads
China 27
United States of America 27
Brazil 13
Ireland 8
New Zealand 8
Romania 6
France 5
Iraq 4
Spain 2
Indonesia 2

Cities

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