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 345

Total Visits Per Month

October 2014 November 2014 December 2014 January 2015 February 2015 March 2015 April 2015
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic 1 7 3 1 0 1 2

File Visits

Views
root.pdf 171
root.ps 159
root.pdf.txt 4
license.txt 3

Top country views

Views
United States 111
Russia 40
United Kingdom 24
South Korea 23
Ukraine 13
China 10
Germany 9
Philippines 8
France 2
Ireland 2

Top cities views

Views
Moscow 39
Mountain View 29
Seoul 23
Washington 17
Cebu City 8
Cupertino 4
Leicester 4
Dallas 3
Egham 2
Galway 2