Statistics

SUNScholar Research Repository

Statistics

Total Visits

Views
A model checker for the LF system 442

Total Visits Per Month

April 2014 May 2014 June 2014 July 2014 August 2014 September 2014 October 2014
A model checker for the LF system 12 8 14 23 20 20 12

File Visits

Views
Gerber_model_2007.pdf 194

Top country views

Views
United States 143
South Africa 131
China 37
Russia 24
Netherlands 15
France 12
Canada 10
Japan 5
A1 1
Hungary 1

Top cities views

Views
Wynberg 125
Redwood City 36
Beverly Hills 22
Beijing 21
Ashburn 13
Redmond 13
Toronto 10
Seattle 9
Mountain View 6
Sunnyvale 6