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 561

Total Visits Per Month

June 2016 July 2016 August 2016 September 2016 October 2016 November 2016 December 2016
Using PVS for Interval Temporal Logic proofs, part 1: The syntactic and semantic encoding 27 22 3 2 3 2 0

File Visits

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

Top country views

Views
United States 125
Russia 69
United Kingdom 60
China 47
South Korea 31
Germany 25
Ukraine 18
Poland 10
Philippines 9
Netherlands 7

Top cities views

Views
Moscow 68
Seoul 30
Hangzhou 21
Leicester 21
Mountain View 20
Washington 15
Cebu City 8
Woodbridge 8
Beijing 7
Wilmington 7