TY  - RPRT
TI  - Model-checking in the Foundations of Algorithmic Law and the Case of Regulation 561
AU  - Moritz Müller
AU  - Joost J. Joosten
PY  - 2023
UR  - https://arxiv.org/abs/2307.05658
ID  - 2307.05658
ER  -