Zugriffsstatistik
Gesamtzugriffe
| Zugriffe | |
|---|---|
| A case study : verifying a mutual exclusion protocol with process creation using graph transformation systems | 717 |
Gesamtzugriffe pro Monat
| November 2023 | Dezember 2023 | Januar 2024 | Februar 2024 | März 2024 | April 2024 | Mai 2024 | |
|---|---|---|---|---|---|---|---|
| A case study : verifying a mutual exclusion protocol with process creation using graph transformation systems | 5 | 9 | 3 | 6 | 4 | 15 | 4 |
Dateidownload
| Zugriffe | |
|---|---|
| TR_2004_08.pdf | 144 |
Häufigste Länder
| Zugriffe | |
|---|---|
| Deutschland | 510 |
| Vereinigte Staaten | 104 |
| Vereinigtes Königreich | 24 |
| China | 18 |
| Irland | 9 |
| Österreich | 8 |
| Russland | 7 |
| Schweden | 7 |
| Singapur | 6 |
| Finnland | 3 |
Häufigste Städte
| Zugriffe | |
|---|---|
| Frankfurt am Main | 257 |
| Ashburn | 41 |
| Berlin | 33 |
| Southend | 22 |
| Stuttgart | 11 |
| Munich | 9 |
| Nuremberg | 8 |
| Dublin | 7 |
| Singapore | 6 |
| Los Angeles | 4 |