Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

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

Total Visits Per Month

December 2014 January 2015 February 2015 March 2015 April 2015 May 2015 June 2015
Using ITL and Tempura for large scale specification and simulation. 5 6 2 3 6 4 11

File Visits

Views
paper-draft.pdf 341
paper-draft.ps 199
paper-draft.pdf.txt 4
license.txt 1

Top country views

Views
United States 154
United Kingdom 61
Russia 59
South Korea 28
Germany 16
France 15
China 11
Ukraine 11
Philippines 10
Denmark 6

Top cities views

Views
Moscow 58
Seoul 26
Leicester 17
Mountain View 14
Washington 14
Cebu City 10
Roubaix 8
London 7
Beijing 5
Newton Abbot 5