Statistik för Parameterized Verification of Distributed Algorithms in Dynamic Graphs
Totalt antal besök
| views | |
|---|---|
| Parameterized Verification of Distributed Algorithms in Dynamic Graphs | 191 |
Totalt antal besök per månad
| views | |
|---|---|
| December 2022 | 0 |
| January 2023 | 0 |
| February 2023 | 0 |
| March 2023 | 0 |
| April 2023 | 0 |
| May 2023 | 0 |
| June 2023 | 0 |
Nedladdningar
| views | |
|---|---|
| CSE 22-03 Kokkou.pdf | 97 |
Visningar per land (topp)
| views | |
|---|---|
| Sweden | 75 |
| Germany | 74 |
| United States | 24 |
| France | 4 |
| Ireland | 3 |
| India | 2 |
| Italy | 2 |
| Japan | 2 |
| Netherlands | 2 |
| Algeria | 1 |
| United Kingdom | 1 |
| Taiwan | 1 |
Visningar per stad (topp)
| views | |
|---|---|
| Gothenburg | 53 |
| Rheinbollen | 20 |
| Rockenhausen | 4 |
| Mountain View | 3 |
| Meppel | 2 |
| Stockholm | 2 |
| Ashburn | 1 |
| Aubervilliers | 1 |
| Cologne | 1 |
| Dublin | 1 |
| Egham | 1 |
| Enkoeping | 1 |
| Eskilstuna | 1 |
| Falkenberg | 1 |
| Foggia | 1 |
| Guwahati | 1 |
| Imphal | 1 |
| Kyrkobyn | 1 |
| Lund | 1 |
| Malmo | 1 |
| Marseille | 1 |
| Nyköping | 1 |
| Partille | 1 |
| Potsdam | 1 |
| Roquevaire | 1 |
| Taichung | 1 |
| Talence | 1 |
| Torslanda | 1 |