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