@inproceedings{leemrijse_formalisation_2025, title = {{Formalisation of a new weak Semantics for AuDaLa}}, author = {Leemrijse, Gijs P. and Franken, Tom T.P. and Neele, Thomas}, year = {2025}, publisher = {Springer}, booktitle = {ATVA 2024}, pages = {93--116}, series = {LNCS}, volume = {15055}, doi = {10.1007/978-3-031-78750-8_5}, }