Crossmark

Dash: declarative behavioural modelling in Alloy with control state hierarchy

Crossref DOI link: https://doi.org/10.1007/s10270-022-01012-1

Published Online: 2022-08-06

Published Print: 2023-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Serna, Jose

Day, Nancy A. https://orcid.org/0000-0002-1422-692X
Esmaeilsabzali, Shahram
License Information

Text and Data Mining valid from 2022-08-06

Version of Record valid from 2022-08-06
More Information

Article History

Received: 17 June 2021

Revised: 31 December 2021

Accepted: 12 April 2022

First Online: 6 August 2022