@inproceedings{leemrijse_formalisation_2024, title = {{Formalisation of a new weak Semantics for AuDaLa}}, author = {Leemrijse, Gijs P. and Franken, Tom T.P. and Neele, Thomas}, year = {2024}, publisher = {Springer}, booktitle = {ATVA 2024}, pages = {}, series = {LNCS}, volume = {}, doi = {}, }