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 742

Total Visits Per Month

November 2017 December 2017 January 2018 February 2018 March 2018 April 2018 May 2018
Using PVS for Interval Temporal Logic proofs, part 1: The syntactic and semantic encoding 21 6 22 29 11 18 12

File Visits

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

Top country views

Views
United States 203
United Kingdom 76
Russia 72
China 48
South Korea 44
Germany 35
Poland 24
Ukraine 18
France 17
Italy 10

Top cities views

Views
Moscow 68
Seoul 30
Hangzhou 21
Leicester 21
Mountain View 20
Kraków 18
Woodbridge 18
Houston 17
Washington 15
Wilmington 15