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 508

Total Visits Per Month

May 2017 June 2017 July 2017 August 2017 September 2017 October 2017 November 2017
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic 4 5 8 3 5 10 7

File Visits

Views
root.pdf 262
root.ps 234
root.pdf.txt 4
license.txt 3

Top country views

Views
United States 150
United Kingdom 47
Russia 42
South Korea 25
Germany 22
China 20
France 16
Ukraine 14
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