Statistics for Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems
Total visits
views | |
---|---|
Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems | 54 |
Total visits per month
views | |
---|---|
February 2024 | 1 |
March 2024 | 5 |
April 2024 | 11 |
May 2024 | 6 |
June 2024 | 8 |
July 2024 | 8 |
August 2024 | 0 |
File Visits
views | |
---|---|
Dash+ Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems (1).pdf(legacy) | 1622 |
Top country views
views | |
---|---|
United States | 19 |
Ireland | 15 |
Singapore | 9 |
Canada | 2 |
China | 2 |
Russia | 2 |
France | 1 |
Hong Kong SAR China | 1 |
Indonesia | 1 |
South Korea | 1 |
Netherlands | 1 |
Top city views
views | |
---|---|
Dublin | 15 |
Boydton | 6 |
Singapore | 5 |
Ashburn | 2 |
Boardman | 2 |
Coeur d'Alene | 2 |
Montreal | 2 |
Chicago | 1 |
Guangzhou | 1 |
Hong Kong | 1 |
Jakarta | 1 |
Prineville | 1 |
Santa Clara | 1 |
Utrecht | 1 |