@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},
}