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 482

Total Visits Per Month

January 2017 February 2017 March 2017 April 2017 May 2017 June 2017 July 2017
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic 1 3 3 0 4 5 7

File Visits

Views
root.pdf 258
root.ps 231
root.pdf.txt 4
license.txt 3

Top country views

Views
United States 145
Russia 42
United Kingdom 41
South Korea 24
China 19
Germany 19
Ukraine 14
France 12
Netherlands 12
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
Amsterdam 4