Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

Views
Using PVS for Interval Temporal Logic proofs, part 1: The syntactic and semantic encoding 620

Total Visits Per Month

April 2017 May 2017 June 2017 July 2017 August 2017 September 2017 October 2017
Using PVS for Interval Temporal Logic proofs, part 1: The syntactic and semantic encoding 3 10 5 10 4 6 7

File Visits

Views
pvsitl-i.pdf 248
pvsitl-i.pdf.txt 6
license.txt 4

Top country views

Views
United States 145
Russia 69
United Kingdom 64
China 47
Germany 34
South Korea 31
Poland 22
Ukraine 18
Philippines 9
Netherlands 7

Top cities views

Views
Moscow 68
Seoul 30
Hangzhou 21
Leicester 21
Mountain View 20
Kraków 18
Washington 15
Cebu City 8
Wilmington 8
Woodbridge 8