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 398

Total Visits Per Month

November 2015 December 2015 January 2016 February 2016 March 2016 April 2016 May 2016
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic 5 1 0 3 0 3 4

File Visits

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

Top country views

Views
United States 128
Russia 41
United Kingdom 36
South Korea 23
China 19
Ukraine 14
Germany 9
Philippines 8
Bulgaria 3
Spain 2

Top cities views

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