Statistics

Statistics

Total Visits

Views
Parameterised three-valued model checking 267

Total Visits Per Month

April 2018 May 2018 June 2018 July 2018 August 2018 September 2018 October 2018
Parameterised three-valued model checking 5 9 7 14 32 3 3

File Visits

Views
Timm_Parameterised_2015.pdf 213

Top country views

Views
China 93
France 55
United States 50
South Africa 34
Germany 12
United Kingdom 6
Senegal 5
Canada 3
Netherlands 3
Russia 2

Top cities views

Views
Shenzhen 89
Pretoria 29
Ashburn 20
Ann Arbor 6
Houston 4
Mountain View 4
Southend 4
Sunnyvale 4
Johannesburg 3
Columbus 2