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 489

Total Visits Per Month

March 2017 April 2017 May 2017 June 2017 July 2017 August 2017 September 2017
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic 3 0 4 5 8 3 3

File Visits

Views
root.pdf 260
root.ps 232
root.pdf.txt 4
license.txt 3

Top country views

Views
United States 147
United Kingdom 42
Russia 42
South Korea 24
Germany 21
China 20
Ukraine 14
France 12
Netherlands 12
Philippines 8

Top cities views

Views
Moscow 39
Mountain View 29
Seoul 23
Washington 17
Woodbridge 10
Wilmington 9
Cebu City 8
Leicester 6
Beijing 5
Amsterdam 4