Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

Views
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic 368

Total Visits Per Month

March 2015 April 2015 May 2015 June 2015 July 2015 August 2015 September 2015
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic 1 4 2 10 0 9 0

File Visits

Views
root.pdf 189
root.ps 176
root.pdf.txt 4
license.txt 3

Top country views

Views
United States 121
Russia 40
United Kingdom 31
South Korea 23
China 14
Ukraine 13
Germany 9
Philippines 8
France 2
Ireland 2

Top cities views

Views
Moscow 39
Mountain View 29
Seoul 23
Washington 17
Cebu City 8
Woodbridge 8
Beijing 5
Leicester 5
Cupertino 4
Dallas 3