Statistics
Total Visits
| Views | |
|---|---|
| Verification of Security Properties Using Formal Techniques | 652 |
Total Visits Per Month
| Oktober 2024 | November 2024 | Dezember 2024 | Januar 2025 | Februar 2025 | März 2025 | April 2025 | |
|---|---|---|---|---|---|---|---|
| Verification of Security Properties Using Formal Techniques | 15 | 36 | 15 | 19 | 9 | 17 | 17 |
File Visits
| Views | |
|---|---|
| Thesis-SA.pdf | 9711 |
Top country views
| Views | |
|---|---|
| Vereinigte Staaten von Amerika | 159 |
| Deutschland | 58 |
| China | 39 |
| Schweden | 21 |
| Vereinigtes Königreich | 16 |
| Japan | 11 |
| Ukraine | 7 |
| Argentinien | 5 |
| Australien | 5 |
| Russland | 5 |
Top cities views
| Views | |
|---|---|
| San Mateo | 44 |
| Frankfurt am Main | 29 |
| Ashburn | 26 |
| Hamburg | 9 |
| Placentia | 7 |
| Beijing | 5 |
| Hanoi | 3 |
| Winnipeg | 3 |
| Amsterdam | 2 |
| Boardman | 2 |