TY  - RPRT
TI  - Logic Mining from Process Logs: Towards Automated Specification and Verification
AU  - Radoslaw Klimek
AU  - Julia Witek
PY  - 2025
UR  - https://arxiv.org/abs/2506.08628
ID  - 2506.08628
ER  -