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 466

Total Visits Per Month

September 2016 October 2016 November 2016 December 2016 January 2017 February 2017 March 2017
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic 0 1 3 1 1 3 3

File Visits

Views
root.pdf 253
root.ps 226
root.pdf.txt 4
license.txt 3

Top country views

Views
United States 145
Russia 42
United Kingdom 39
South Korea 24
China 19
Germany 14
Ukraine 14
Netherlands 11
France 9
Philippines 8

Top cities views

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