Zugriffsstatistik
Gesamtzugriffe
| Zugriffe | |
|---|---|
| Infinite state model checking of propositional dynamic logics | 819 |
Gesamtzugriffe pro Monat
| November 2023 | Dezember 2023 | Januar 2024 | Februar 2024 | März 2024 | April 2024 | Mai 2024 | |
|---|---|---|---|---|---|---|---|
| Infinite state model checking of propositional dynamic logics | 4 | 6 | 8 | 10 | 3 | 18 | 1 |
Dateidownload
| Zugriffe | |
|---|---|
| TR_2006_04.pdf | 371 |
Häufigste Länder
| Zugriffe | |
|---|---|
| Deutschland | 439 |
| Vereinigte Staaten | 230 |
| Frankreich | 49 |
| China | 24 |
| Singapur | 13 |
| Irland | 12 |
| Schweden | 12 |
| Vereinigtes Königreich | 6 |
| Russland | 6 |
| Österreich | 5 |
Häufigste Städte
| Zugriffe | |
|---|---|
| Frankfurt am Main | 334 |
| Ashburn | 170 |
| Berlin | 33 |
| Balma | 24 |
| Toulouse | 17 |
| Beijing | 12 |
| Dublin | 12 |
| Buffalo | 7 |
| Karlsruhe | 6 |
| Singapore | 6 |