Zugriffsstatistik
Gesamtzugriffe
| Zugriffe | |
|---|---|
| Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen | 1145 |
Gesamtzugriffe pro Monat
| März 2024 | April 2024 | Mai 2024 | Juni 2024 | Juli 2024 | August 2024 | September 2024 | |
|---|---|---|---|---|---|---|---|
| Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen | 14 | 31 | 21 | 22 | 26 | 38 | 31 |
Dateidownload
| Zugriffe | |
|---|---|
| diss.pdf | 156 |
Häufigste Länder
| Zugriffe | |
|---|---|
| Deutschland | 744 |
| Vereinigte Staaten | 130 |
| China | 56 |
| Vereinigtes Königreich | 51 |
| Schweden | 28 |
| Irland | 27 |
| Russland | 18 |
| Singapur | 18 |
| Frankreich | 13 |
| Österreich | 11 |
Häufigste Städte
| Zugriffe | |
|---|---|
| Frankfurt am Main | 578 |
| Ashburn | 52 |
| Southend | 47 |
| Berlin | 45 |
| Dublin | 21 |
| Beijing | 17 |
| Karlsruhe | 12 |
| Boardman | 9 |
| Singapore | 8 |
| Kassel | 7 |