Statistics

Total Visits

Views
Using theorem proving and algorithmic decision procedures for large-scale system verification 398

Total Visits Per Month

April 2014 May 2014 June 2014 July 2014 August 2014 September 2014 October 2014
Using theorem proving and algorithmic decision procedures for large-scale system verification 11 9 5 12 11 10 7

File Visits

Views
rays14658.pdf 201
license.txt 4

Top country views

Views
United States of America 184
China 121
Japan 33
France 10
Russian Federation 10
Netherlands 9
United Kingdom 8
Korea 4
Ukraine 4
Czech Republic 1

Top cities views

Views
Tianjin 49
Miami 41
Ashburn 23
Beijing 20
Redwood City 18
Woodbridge 18
Wuhan 14
Beverly Hills 12
Austin 10
Santa Clara 10


Advanced Search

Browse

My Account

Statistics

Information