Statistik för From Domain-Specific Language to Timed Automata. Automatic Translation and Verification of Contract Specifications
Totalt antal besök
| views | |
|---|---|
| From Domain-Specific Language to Timed Automata. Automatic Translation and Verification of Contract Specifications | 29 |
Totalt antal besök per månad
| views | |
|---|---|
| June 2023 | 0 |
| July 2023 | 0 |
| August 2023 | 0 |
| September 2023 | 0 |
| October 2023 | 0 |
| November 2023 | 0 |
| December 2023 | 0 |
Nedladdningar
| views | |
|---|---|
| 243893.pdf | 15 |
Visningar per land (topp)
| views | |
|---|---|
| Sweden | 12 |
| United States | 6 |
| Argentina | 2 |
| China | 2 |
| Germany | 2 |
| Algeria | 1 |
| Japan | 1 |
| Moldova | 1 |
| Saudi Arabia | 1 |
| Thailand | 1 |
Visningar per stad (topp)
| views | |
|---|---|
| Beijing | 2 |
| Buenos Aires | 2 |
| Des Moines | 2 |
| Mountain View | 2 |
| Angered | 1 |
| Bangkok | 1 |
| Borås | 1 |
| Gothenburg | 1 |
| Konstanz | 1 |
| Oran | 1 |
| Riyadh | 1 |
| Rîbniţa | 1 |
| Örebro | 1 |