Zugriffsstatistik
Gesamtzugriffe
| Zugriffe | |
|---|---|
| Abstraction refinement with craig interpolation and symbolic pushdown systems | 1505 |
Gesamtzugriffe pro Monat
| Oktober 2023 | November 2023 | Dezember 2023 | Januar 2024 | Februar 2024 | März 2024 | April 2024 | |
|---|---|---|---|---|---|---|---|
| Abstraction refinement with craig interpolation and symbolic pushdown systems | 1 | 10 | 8 | 7 | 10 | 7 | 15 |
Dateidownload
| Zugriffe | |
|---|---|
| TR_2006_02.pdf | 661 |
Häufigste Länder
| Zugriffe | |
|---|---|
| Deutschland | 795 |
| Vereinigte Staaten | 592 |
| China | 34 |
| Irland | 13 |
| Vereinigtes Königreich | 11 |
| Schweden | 11 |
| Österreich | 6 |
| Kanada | 5 |
| Frankreich | 4 |
| Russland | 4 |
Häufigste Städte
| Zugriffe | |
|---|---|
| Frankfurt am Main | 695 |
| Ashburn | 505 |
| Berlin | 34 |
| Beijing | 12 |
| Dublin | 12 |
| Southend | 10 |
| Buffalo | 7 |
| Los Angeles | 7 |
| Chicago | 5 |
| Stoney Creek | 5 |