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 421

Total Visits Per Month

September 2014 October 2014 November 2014 December 2014 January 2015 February 2015 March 2015
Using PVS for Interval Temporal Logic proofs, part 1: The syntactic and semantic encoding 1 1 6 3 2 4 4

File Visits

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

Top country views

Views
United States 97
Russia 68
United Kingdom 38
China 33
South Korea 29
Ukraine 16
Philippines 9
Germany 7
India 5
Poland 4

Top cities views

Views
Moscow 67
Seoul 29
Hangzhou 21
Mountain View 20
Leicester 19
Washington 15
Cebu City 8
Cupertino 4
Falenica 4
San Francisco 4