Statistics
Total Visits
| Views | |
|---|---|
| Verification of Security Properties Using Formal Techniques | 456 |
Total Visits Per Month
| Oktober 2023 | November 2023 | Dezember 2023 | Januar 2024 | Februar 2024 | März 2024 | April 2024 | |
|---|---|---|---|---|---|---|---|
| Verification of Security Properties Using Formal Techniques | 9 | 3 | 1 | 6 | 16 | 7 | 4 |
File Visits
| Views | |
|---|---|
| Thesis-SA.pdf | 317 |
Top country views
| Views | |
|---|---|
| Vereinigte Staaten von Amerika | 69 |
| Deutschland | 28 |
| China | 26 |
| Schweden | 19 |
| Vereinigtes Königreich | 7 |
| Ukraine | 6 |
| Italien | 3 |
| Vietnam | 3 |
| Russland | 2 |
| Belarus | 1 |
Top cities views
| Views | |
|---|---|
| Ashburn | 23 |
| Frankfurt am Main | 11 |
| San Mateo | 4 |
| Beijing | 3 |
| Hamburg | 3 |
| Hanoi | 3 |
| Göttingen | 2 |
| Kassel | 2 |
| Atlanta | 1 |
| Bockenheim | 1 |