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 632

Total Visits Per Month

December 2017 January 2018 February 2018 March 2018 April 2018 May 2018 June 2018
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic 4 21 29 13 17 27 5

File Visits

Views
root.pdf 287
root.ps 257
root.pdf.txt 4
license.txt 3

Top country views

Views
United States 208
United Kingdom 58
South Korea 43
Russia 43
Germany 24
France 23
China 20
Ukraine 15
Italy 14
Netherlands 14

Top cities views

Views
Moscow 39
Mountain View 29
Seoul 23
Wilmington 23
Woodbridge 20
Seongnam 17
Washington 17
Houston 12
Ashburn 11
Milan 9