Statistik för Methods for using Agda to prove Safety and Liveness for Concurrent Programs
Totalt antal besök
| views | |
|---|---|
| Methods for using Agda to prove Safety and Liveness for Concurrent Programs | 90 |
Totalt antal besök per månad
| views | |
|---|---|
| November 2023 | 0 |
| December 2023 | 0 |
| January 2024 | 0 |
| February 2024 | 0 |
| March 2024 | 0 |
| April 2024 | 0 |
| May 2024 | 0 |
Nedladdningar
| views | |
|---|---|
| 251204.pdf | 60 |
Visningar per land (topp)
| views | |
|---|---|
| United States | 28 |
| Sweden | 22 |
| China | 7 |
| Belgium | 5 |
| Germany | 5 |
| United Kingdom | 5 |
| Hong Kong SAR China | 4 |
| Hungary | 2 |
| Romania | 2 |
| Singapore | 2 |
| Argentina | 1 |
| Brazil | 1 |
| Czechia | 1 |
| Spain | 1 |
| Greece | 1 |
| Japan | 1 |
| Malaysia | 1 |
| Taiwan | 1 |
Visningar per stad (topp)
| views | |
|---|---|
| Des Moines | 6 |
| Portland | 5 |
| Rumes | 5 |
| Gothenburg | 4 |
| Astoria | 3 |
| Taizhou | 3 |
| Borås | 2 |
| Budapest | 2 |
| Central | 2 |
| Santa Fe | 2 |
| Singapore | 2 |
| Stockholm | 2 |
| Örebro | 2 |
| Angered | 1 |
| Athens | 1 |
| Bandhagen | 1 |
| Bath | 1 |
| Beijing | 1 |
| Birmingham | 1 |
| Bucharest | 1 |
| Freiburg | 1 |
| Guildford | 1 |
| Huddinge | 1 |
| Kuala Lumpur | 1 |
| Malmo | 1 |
| Meguro-ku | 1 |
| Moelndal | 1 |
| Ningbo | 1 |
| Qingdao | 1 |
| Ramvik | 1 |
| Rio de Janeiro | 1 |
| Salamanca | 1 |
| San Mateo | 1 |
| Santa Cruz | 1 |
| Santiago del Estero | 1 |
| Selters | 1 |
| Stuttgart | 1 |
| Taipei | 1 |
| Twickenham | 1 |
| Walnut Creek | 1 |
| Ytterby | 1 |
| České Budějovice | 1 |