Statistics for Compositional Verification of Architectural Models
Total visits
| views | |
|---|---|
| Compositional Verification of Architectural Models | 76 |
Total visits per month
| views | |
|---|---|
| February 2024 | 1 |
| March 2024 | 1 |
| April 2024 | 4 |
| May 2024 | 1 |
| June 2024 | 1 |
| July 2024 | 0 |
| August 2024 | 0 |
File Visits
| views | |
|---|---|
| NFM-springer-proof-72260126.pdf | 389 |
Top country views
| views | |
|---|---|
| United States | 44 |
| China | 11 |
| Germany | 7 |
| Canada | 3 |
| Hong Kong SAR China | 3 |
| Argentina | 2 |
| Ireland | 2 |
| France | 1 |
| Indonesia | 1 |
| Japan | 1 |
| Singapore | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 33 |
| Karlsruhe | 4 |
| Central | 3 |
| Berlin | 2 |
| Ajaccio | 1 |
| Arlington | 1 |
| Beijing | 1 |
| Brampton | 1 |
| Chicago | 1 |
| Des Moines | 1 |
| Dublin | 1 |
| Falls Church | 1 |
| Jakarta | 1 |
| Minneapolis | 1 |
| Ottawa | 1 |
| Phoenix | 1 |
| Sakata | 1 |
| Singapore | 1 |
| Stafford | 1 |
| Wuhan | 1 |
| Xi'an | 1 |
| Xiamen | 1 |