The Libraries will be performing routine maintenance on UWSpace on July 15th-16th, 2025. UWSpace will be available, though users may experience service lags during this time. We recommend all users avoid submitting new items to UWSpace until maintenance is completed.

Statistics for Dash: declarative behavioural modelling in Alloy with control state hierarchy

Total visits

views
Dash: declarative behavioural modelling in Alloy with control state hierarchy 74

Total visits per month

views
January 2025 0
February 2025 0
March 2025 1
April 2025 9
May 2025 5
June 2025 3
July 2025 5

File Visits

views
dash.pdf 57
dash.pdf(legacy) 43

Top country views

views
Canada 29
United States 15
Ireland 7
Hong Kong SAR China 6
Singapore 5
China 2
Russia 2
Brazil 1
Germany 1
Finland 1
Indonesia 1
South Korea 1

Top city views

views
Waterloo 26
Dublin 7
Hong Kong 5
Springfield 3
Tokyo 3
Beijing 2
Boardman 2
Singapore 2
Ashburn 1
Dundas 1
Helsinki 1
Jakarta 1
Montreal 1
Nuremberg 1
São Paulo 1
Toronto 1