JavaScript is disabled for your browser. Some features of this site may not work without it.
Statistics
Total Visits
| Views | |
|---|---|
| Parameterised three-valued model checking | 288 |
Total Visits Per Month
| August 2018 | September 2018 | October 2018 | November 2018 | December 2018 | January 2019 | February 2019 | |
|---|---|---|---|---|---|---|---|
| Parameterised three-valued model checking | 32 | 3 | 3 | 13 | 2 | 3 | 3 |
File Visits
| Views | |
|---|---|
| Timm_Parameterised_2015.pdf | 228 |
Top country views
| Views | |
|---|---|
| China | 97 |
| France | 60 |
| United States | 58 |
| South Africa | 35 |
| Germany | 13 |
| United Kingdom | 7 |
| Senegal | 5 |
| Canada | 3 |
| Netherlands | 3 |
| Russia | 2 |
Top cities views
| Views | |
|---|---|
| Shenzhen | 93 |
| Pretoria | 30 |
| Ashburn | 20 |
| Ann Arbor | 7 |
| Fremont | 6 |
| Houston | 4 |
| Mountain View | 4 |
| Southend | 4 |
| Sunnyvale | 4 |
| Johannesburg | 3 |