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 561

Total Visits Per Month

August 2017 September 2017 October 2017 November 2017 December 2017 January 2018 February 2018
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic 3 5 10 15 4 21 20

File Visits

Views
root.pdf 270
root.ps 239
root.pdf.txt 4
license.txt 3

Top country views

Views
United States 186
United Kingdom 47
Russia 43
South Korea 25
Germany 24
China 20
France 17
Ukraine 15
Netherlands 13
Italy 9

Top cities views

Views
Moscow 39
Mountain View 29
Seoul 23
Washington 17
Woodbridge 17
Wilmington 13
Houston 10
Cebu City 8
Leicester 6
Ashburn 5