Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

Views
Using ITL and Tempura for large scale specification and simulation. 658

Total Visits Per Month

November 2016 December 2016 January 2017 February 2017 March 2017 April 2017 May 2017
Using ITL and Tempura for large scale specification and simulation. 4 2 3 4 3 2 5

File Visits

Views
paper-draft.pdf 403
paper-draft.ps 217
paper-draft.pdf.txt 4
license.txt 1

Top country views

Views
United States 203
United Kingdom 72
Russia 59
Germany 35
South Korea 29
France 23
China 17
Ukraine 14
Philippines 10
Netherlands 9

Top cities views

Views
Moscow 58
Seoul 26
Leicester 18
Mountain View 14
Washington 14
Cebu City 10
Wilmington 10
Woodbridge 9
Roubaix 8
London 7