Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

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

Total Visits Per Month

May 2017 June 2017 July 2017 August 2017 September 2017 October 2017 November 2017
Using ITL and Tempura for large scale specification and simulation. 5 6 8 3 5 13 9

File Visits

Views
paper-draft.pdf 460
paper-draft.ps 223
paper-draft.pdf.txt 4
license.txt 1

Top country views

Views
United States 214
United Kingdom 80
Russia 59
Germany 40
South Korea 30
France 28
China 18
Ukraine 14
Netherlands 10
Philippines 10

Top cities views

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