Zugriffsstatistik
Gesamtzugriffe
| Zugriffe | |
|---|---|
| A common approach to test generation and hardware verification based on temporal logic | 789 |
Gesamtzugriffe pro Monat
| November 2023 | Dezember 2023 | Januar 2024 | Februar 2024 | März 2024 | April 2024 | Mai 2024 | |
|---|---|---|---|---|---|---|---|
| A common approach to test generation and hardware verification based on temporal logic | 3 | 11 | 12 | 10 | 8 | 16 | 1 |
Dateidownload
| Zugriffe | |
|---|---|
| wun16.pdf | 370 |
Häufigste Länder
| Zugriffe | |
|---|---|
| Deutschland | 463 |
| Vereinigte Staaten | 226 |
| Vereinigtes Königreich | 25 |
| China | 23 |
| Irland | 13 |
| Schweden | 7 |
| Russland | 6 |
| Frankreich | 4 |
| Österreich | 3 |
| Finnland | 3 |
Häufigste Städte
| Zugriffe | |
|---|---|
| Frankfurt am Main | 321 |
| Ashburn | 171 |
| Berlin | 27 |
| Southend | 18 |
| Dublin | 11 |
| Beijing | 10 |
| Los Angeles | 7 |
| San Francisco | 5 |
| Des Moines | 3 |
| San Mateo | 3 |