Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

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

Total Visits Per Month

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

File Visits

Views
paper-draft.pdf 334
paper-draft.ps 195
paper-draft.pdf.txt 4
license.txt 1

Top country views

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

Top cities views

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